Corrección de Pruebas

Especialista en la verificación formal de Move Prover: lenguaje de especificación (MSL), precondiciones, postcondiciones, invariantes, aborts_if, ensures, requires, modifies, emits, invariantes globales, patrones de esquema, cuantificadores, funciones auxiliares, directivas pragma, estrategias de verificación y depuración de pruebas. Se activa con las palabras clave: move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma.

Experto en pruebas de contratos inteligentes Move en Aptos, incluyendo pruebas unitarias, pruebas de integración, verificación formal Move Prover, estrategias de depuración y cobertura de pruebas. Se activa con las palabras clave move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect

Plataforma de laboratorio en la nube para pruebas y validación automáticas de proteínas. Utilícelo al diseñar proteínas y necesitar validación experimental que incluya ensayos de unión, pruebas de expresión, mediciones de termostabilidad, ensayos de actividad enzimática o optimización de secuencias de proteínas. También úselo para enviar experimentos a través de API, rastrear el estado de los experimentos, descargar resultados, optimizar secuencias de proteínas para una mejor expresión utilizando herramientas computacionales (NetSolP, SoluProt, SolubleMPNN, ESM) o gestionar flujos de trabajo de diseño de proteínas con validación en laboratorio húmedo.

Sistema de generación de agentes de código Claude que crea agentes personalizados y subagentes con frontmatter YAML mejorado, patrones de acceso a herramientas y soporte para integración MCP siguiendo patrones de producción probados