¿Qué hace spec-to-code-compliance?
Verifica que el código implemente exactamente lo que la documentación especifica para auditorías de blockchain. Se utiliza al comparar código con documentos técnicos, encontrar brechas entre especificaciones e implementación, o realizar comprobaciones de cumplimiento para implementaciones de protocolos.
Descripción
Esta habilidad automatiza la verificación de que el código de una implementación de blockchain cumpla con las especificaciones técnicas proporcionadas en documentos como whitepapers o especificaciones formales. Es especialmente útil durante auditorías de seguridad, revisiones de cumplimiento normativo o al integrar módulos de protocolos descentralizados.
Plataformas Soportadas
- Claude Code
- Cursor
- Codex
Uso
Para utilizar esta habilidad, proporcione el código fuente a revisar junto con la documentación técnica correspondiente. El sistema analizará ambos y generará un informe detallado de discrepancias.
Ejemplo de Uso
- Proporcione el código del contrato inteligente o protocolo.
- Proporcione la documentación (whitepaper, especificación técnica).
- Ejecute la verificación usando un comando como:
spec-to-code-compliance --code ./src --docs ./whitepaper.md - Revise el informe de brechas y discrepancias.
Notas
- Asegúrese de que la documentación esté actualizada y sea precisa.
- La habilidad no modifica el código, solo identifica discrepancias.
- Para mejores resultados, utilice durante la fase de auditoría o revisión de código.