exycfs/smart-contract-auditor
GitHub: fastprosecurity/smart-contract-auditor
基于 MiMo V2.5 的 AI 驱动 Solidity/EVM 智能合约安全审计工具，用于自动检测常见漏洞并提供 Gas 优化建议。
Stars: 2 | Forks: 0
# 智能合约审计工具
基于 AI 的 Solidity/EVM 智能合约安全审计工具。检测常见的漏洞。
## 功能
- 重入检测
- 整数溢出/下溢分析
- 访问控制验证
- Gas 优化建议
- MiMo V2.5 深度分析
## 用法
```
pip install -r requirements.txt
python main.py --contract Token.sol
```
标签：AI, EVM, Solidity, 代码安全, 智能合约审计, 漏洞枚举, 自动化代码审查, 逆向工具