Use cuando crees nuevas habilidades, edites habilidades existentes o verifiques que las habilidades funcionen antes del despliegue: aplica TDD a la documentación de procesos mediante pruebas con subagentes antes de escribir, iterando hasta que sea invulnerable a la racionalización
EN LO QUE TE CONVIERTES
Perfecto para estos escenarios
Verificar automáticamente la corrección de contratos de Move utilizando métodos formales
Encuentre errores críticos temprano escribiendo especificaciones formales
Demostrar que los invariantes globales se cumplen para protocolos DeFi complejos
Soluciona pruebas fallidas de Move Prover con la guía de un experto
GANANCIA MEDIBLE
Beneficios probados e impacto medible
Detecta vulnerabilidades antes del despliegue con verificación formal
Automatiza la comprobación de pruebas para agilizar las revisiones de seguridad
Asegúrese de que todas las rutas críticas tengan especificaciones formales
QUÉ INCLUYE
Archivos, etiquetas y la instalación en tres pasos
Consejo: Lee la documentación y el código antes del primer uso para saber qué hace y qué permisos necesita.
SIGUIENTES GUIONES
Recomendado según etiquetas y categoría
Generar y mantener archivos AGENTS.md siguiendo la convención pública agents.md. Usar cuando se cree documentación para flujos de trabajo de agentes AI, guías de incorporación o cuando se estandaricen patrones de interacción de agentes en proyectos.
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
Especialista en Anthropic Claude API, modelos, ingeniería de prompts, llamadas a funciones, visión y mejores prácticas. Se activa con anthropic, claude, api, prompt, llamadas a funciones, visión, messages api, embeddings
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.