What problem does it solve?
spec-to-code-compliance helps you verify that blockchain code implements exactly what the documentation claims, so you can find gaps between intended behavior and actual on-chain logic with evidence-based, audit-grade traceability.
Core Features & Use Cases
- Documentation-to-IR extraction: Builds a Spec-IR by extracting purpose, actors/roles, trust boundaries, invariants, pre/postconditions, flows, math formulas, and security requirements from whitepapers, design docs, transcripts, and similar materials.
- Deterministic code semantics mapping: Constructs a Code-IR via line-by-line and block-by-block analysis of functions, state reads/writes, control flow, revert conditions, external calls, events, and storage/authorization logic.
- Traceable alignment and divergence: Produces an Alignment-IR comparing every Spec-IR item to corresponding Code-IR evidence, classifying full matches, partial matches, mismatches, missing claims, and strength inversions—then outputs a structured compliance report with severity-ranked divergence findings.
Quick Start
Use the spec-to-code-compliance skill to compare your protocol whitepaper against your smart contract codebase and generate an audit-grade compliance report.
