smart-contract-analysis-skill

# Smart Contract Analysis Skill ## Overview This skill provides Ethereum and blockchain smart contract security analysis capabilities. ## Capabilities - Execute Slither static analysis - Run Mythril symbolic execution - Analyze Solidity code patterns - Detect reentrancy vulnerabilities - Check for integer overflow - Generate Echidna fuzz tests - Support multiple EVM chains - Create formal verification specs ## Target Processes - smart-contract-auditing.js - security-tool-development.js ## Dependencies - Slither - Mythril - Echidna - Solidity compiler (solc) - Python 3.x - Node.js (for Hardhat/Foundry) ## Usage Context This skill is essential for: - Smart contract security audits - DeFi vulnerability research - Automated vulnerability detection - Fuzz testing smart contracts - Formal verification support ## Integration Notes - Supports Solidity and Vyper - Can analyze multiple EVM-compatible chains - Integrates with Hardhat and Foundry - Supports custom detector development - Can generate audit reports