Laravel

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 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

Acceda a más de 200 millones de estructuras de proteínas predichas por IA de AlphaFold. Recupere estructuras por ID de UniProt, descargue archivos PDB/mmCIF, analice métricas de confianza (pLDDT, PAE) para la descubrimiento de fármacos y la biología estructural.