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