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