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 performs systematic security audits of Solidity contracts, combining manual review, static analysis, and exploit modeling to find vulnerabilities before attackers do. ## Core Features & Use Cases - Vulnerability Detection: Identifies reentrancy, oracle manipulation, access control flaws, flash loan attacks, and economic exploits with proof-of-concept Foundry tests for every finding. - Automated Tooling Integration: Runs Slither, Mythril, and Echidna as a first pass, then validates results through manual line-by-line review. - Professional Audit Reports: Generates reports with Critical/High/Medium/Low/Informational severity classifications, impact estimates, and actionable remediation steps. - Use Case: Before deploying a DeFi lending protocol, run a full audit to catch a spot-price oracle manipulation vector, receive a Foundry test reproducing the flash loan exploit, and get the exact Chainlink-based fix with staleness validation. ## Quick Start Audit the attached Solidity contracts for reentrancy, oracle manipulation, and access control vulnerabilities, then produce a severity-classified audit report with proof-of-concept exploits.
