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.
EN LO QUE TE CONVIERTES
Perfecto para estos escenarios
Crear modelos financieros complejos con fórmulas automatizadas y formato profesional
Analizar datos de ventas y generar dashboards interactivos con tablas dinámicas y gráficos
Mantener hojas de inventario en tiempo real con cálculos de stock automáticos y alertas
Transformar datos brutos en informes con formato y con diseños y fórmulas coherentes
GANANCIA MEDIBLE
Beneficios probados e impacto medible
Genere hojas de cálculo complejas en minutos en lugar de horas con formato automatizado.
Elimine errores de fórmulas con la validación y los recálculos automáticos potenciados por IA
Genera instantáneamente información y visualizaciones a partir de datos brutos sin procesamiento manual
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
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
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.
Valide que los esquemas OpenAPI, Swagger y GraphQL coincidan con la implementación del backend. Detecte cambios que rompan la compatibilidad, genere clientes TypeScript y asegúrese de que la documentación de la API permanezca sincronizada. Use cuando trabaje con archivos de especificación de API (.yaml, .json, .graphql), revise cambios en la API, genere tipos frontend o valide implementaciones de endpoints.