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.
Integración rápida en su flujo de trabajo con configuración mínima
Comunidad de código abierto activa con actualizaciones continuas
Licencia MIT/Apache para uso comercial y personal
Personalizable y extensible según sus necesidades
Descargue o copie el archivo de habilidad del repositorio fuente
Coloque el archivo de habilidad en el directorio de habilidades de Claude (generalmente ~/.claude/skills/)。
Reinicie Claude o ejecute el comando de recarga para cargar la habilidad
Consejo: Lea la documentación y el código cuidadosamente antes del primer uso para comprender la funcionalidad y los requisitos de permisos
Todas las habilidades provienen de la comunidad de código abierto, preservando los derechos de autor de los autores originales
raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.mdBeneficios 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
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