概要
This skill transforms Claude into a senior blockchain auditor capable of performing exhaustive compliance checks between documentation and implementation. It follows a structured, multi-phase workflow to extract intended behaviors from specifications—such as whitepapers, READMEs, and design notes—and compares them against line-by-line code analysis. By generating Intermediate Representations (IR) for both spec and code, it identifies critical misalignments, undocumented logic, and missing security invariants, providing a deterministic audit-grade report with evidence-backed findings and exploitability reasoning.
