What problem does it solve? Auditing a smart contract protocol without understanding its intended behavior leads to missed vulnerabilities. This Skill provides a structured methodology for analyzing protocol documentation during the reconnaissance phase of a security audit, turning scattered READMEs, whitepapers, and security docs into actionable audit intelligence. ## Core Features & Use Cases - Four Essential Questions Framework: Systematically answers where the money is, who can move it, what invariants must hold, and what trust assumptions exist. - Protocol Type Classification: Maps documentation patterns to protocol types (AMM, Lending, Vault, Governance, Staking, Bridge) with priority attack vectors for each. - Invariant Extraction: Captures explicit invariants from docs and infers implicit ones, marking inferred items with [INFERRED] for downstream audit phases. - Use Case: During Phase 1 reconnaissance of a DeFi vault audit, the speculator agent uses this methodology to produce .vigilo/recon/docs-findings.md, giving specialist auditors a documented trust model and invariant checklist before they read any code. ## Quick Start Analyze this protocol's documentation and produce a docs-findings report covering assets, privileged functions, invariants, and trust assumptions.
