What problem does it solve? Security audits often fail because reviewers jump to vulnerability hunting with only gist-level understanding, leading to hallucinated findings, missed edge cases, and contradictions. This Skill enforces a disciplined, ultra-granular context-building phase so every later audit conclusion rests on verified, line-cited understanding of the codebase. ## Core Features & Use Cases - Line-by-Line Micro-Analysis: Applies First Principles, 5 Whys, and 5 Hows to every function block, documenting purpose, inputs, outputs, invariants, and assumptions. - Cross-Function Flow Tracing: Follows internal and external calls as one continuous execution flow, treating unknown external contracts as adversarial. - Structured Quality Gates: Ships with an output requirements spec, a worked DEX swap example, and a completeness checklist enforcing minimum thresholds for invariants, assumptions, and risk analysis. - Use Case: Before auditing a Solidity DeFi protocol, activate this Skill to systematically map every function, state variable, trust boundary, and invariant, producing a stable mental model that the vulnerability-hunting phase can rely on. ## Quick Start Analyze this smart contract codebase line by line and build a complete architectural context model with invariants, assumptions, and trust boundaries before any vulnerability review.
