smart-contract-analysis-skill
Ethereum and blockchain smart contract security analysis
Datos de origen
- Repositorio
- aibot88/sec_skill_store
- Última actividad en el origen
- 27 de mayo de 2026 a las 03:47
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 3
- Forks
- 0
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Explorador de archivos
2 archivosMostrando SKILL.md
SKILL.md
Instrucciones de origen · Vista previa de solo lectura- name
- Smart Contract Analysis Skill
- description
- Ethereum and blockchain smart contract security analysis
- allowed-tools
- ["Bash","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
Ver en GitHub