What problem does it solve? Blockchain audits require proving that code matches its specification, but manually comparing whitepapers against smart contracts is error-prone and often misses subtle divergences like missing slippage checks or undocumented code paths. ## Core Features & Use Cases - Structured IR Extraction: Converts specifications and code into Spec-IR and Code-IR records with line-level citations and confidence scores. - Alignment & Divergence Analysis: Classifies every spec claim as full_match, partial_match, mismatch, or missing_in_code, with severity-rated findings and exploit scenarios. - Audit-Grade Reporting: Produces a 16-section compliance report with an alignment matrix, quantified economic impact, and remediation code examples. - Use Case: Given a DEX whitepaper and its Solidity router contract, the skill detects that the required 1% slippage protection is entirely missing, documents a sandwich attack scenario with quantified losses, and provides a fixed implementation. ## Quick Start Use the spec-compliance-checker agent to verify this codebase against the whitepaper and produce a full compliance report.
