Назад към всички

Smart Contract Analysis Skill

// Ethereum and blockchain smart contract security analysis

$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nameSmart Contract Analysis Skill
descriptionEthereum and blockchain smart contract security analysis
allowed-toolsBash,Read,Write,Edit,Glob,Grep

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