awesome-smart-contract-analysis-tools
github.com/louistsai-csie/awesome-smart-contract-analysis-tools ↗A curated list of awesome smart contract analysis tools
128
GitHub Stars
70
Curated Resources
5
Categories
3 hours ago
Last Refreshed
Static AnalysisSymbolic ExecutionFuzzing ToolsFormal VerificationMix
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me static analysis resources from awesome-smart-contract-analysis-tools"
Installation instructions →What's inside
Mix
- A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts
- ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection
- ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts
- DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
- ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning
- Ethainter: a smart contract security analyzer for composite vulnerabilities
Showing a sample of 70 resources. View the full list on GitHub →