Verificador de Conformidad Spec-a-Codigo para Auditorias Blockchain
Compara sistemáticamente documentación técnica (whitepapers, especificaciones) contra implementaciones de smart contracts para detectar divergencias, comportamientos no documentados e invariantes incumplidos. Ideal para auditorías de protocolo blockchain y revisiones de compliance.
Incluida en el Pase · para Claude Code
// qué_hace
Verifica que el código fuente de un smart contract implementa exactamente lo que dicta su especificación técnica o whitepaper, clasificando cada divergencia por severidad.
// cómo_lo_hace
Ejecuta un flujo de 6 fases estructurado (normalización de documentos, extracción de IR de spec, IR de código, alineación, clasificación de divergencias y reporte final) con evidencia citada y puntuaciones de confianza.
// ejemplo_de_uso
Cuando auditas un smart contract y necesitas demostrar formalmente que el código implementa exactamente lo que dice el whitepaper. Ej.: detectar que un contrato DeFi aplica la fórmula de reparto diferente a la especificada y clasificarlo como crítico.
// plataformas
// opiniones_de_la_comunidad
Opiniones
Cargando opiniones…