| name | Smart Contract Analysis Skill |
| description | Ethereum and blockchain smart contract security analysis |
| allowed-tools | ["Bash","Read","Write","Edit","Glob","Grep"] |
| graph | {"domains":["domain:cybersecurity"],"specializations":["specialization:security-research"],"skillAreas":["skill-area:smart-contract-security","skill-area:application-security-testing"],"roles":["role:security-engineer"],"workflows":["workflow:penetration-testing-cycle","workflow:vulnerability-management"]} |
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