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 lost context. This Skill enforces a disciplined, ultra-granular context-building phase so every function, invariant, and trust boundary is understood before any bug finding begins. ## Core Features & Use Cases - Ultra-Granular Function Analysis: Applies a per-function microstructure checklist covering purpose, inputs, outputs, block-by-block reasoning, and cross-function dependencies, using First Principles, 5 Whys, and 5 Hows. - Cross-Boundary Flow Tracing: Treats internal and external calls as one continuous execution flow, propagating invariants and modeling black-box external contracts as adversarial. - Quality Gates & Anti-Hallucination Rules: Enforces minimum thresholds (3 invariants, 5 assumptions, 3 risk considerations per function), line-number citations, and explicit correction of contradicted assumptions. - Use Case: Before auditing a Solidity DEX router, activate this Skill to produce a complete micro-analysis of the swap function—including fee math verification, reentrancy risk mapping, and invariant coupling—so the later vulnerability-hunting phase starts from verified understanding. ## Quick Start Analyze this codebase function by function using ultra-granular context building before we look for any vulnerabilities.
