What problem does it solve? Smart contract bugs can drain millions in user funds, and automated scanners alone miss logic flaws and economic exploits. This Skill provides a systematic audit workflow that combines manual line-by-line review, static analysis, fuzz testing, and adversarial economic modeling to find vulnerabilities before attackers do. ## Core Features & Use Cases - Vulnerability Detection: Identifies reentrancy, oracle manipulation, access control flaws, flash loan attacks, and front-running with annotated vulnerable/fixed Solidity code examples. - Tooling Integration: Provides ready-to-run Slither, Mythril, and Echidna analysis scripts plus Foundry proof-of-concept exploit tests. - Professional Reporting: Includes a complete audit report template with severity classifications (Critical through Informational), PoC requirements, and remediation guidance. - Use Case: Before deploying a DeFi lending protocol, run a full audit covering access control checklists, oracle staleness validation, and flash loan attack simulation, then deliver a stakeholder-ready report. ## Quick Start Audit the Solidity contracts in my contracts directory for reentrancy, oracle manipulation, and access control vulnerabilities, then produce a severity-classified audit report with proof-of-concept exploits.