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) Usag…