项目概览
smart-contract-audit 以攻击者视角审查 Solidity、Vyper、Solana 和 CosmWasm 合约，先建立系统模型与不变量，再结合静态工具和逐函数人工分析查找可利用路径。每条发现包含位置、影响与可能性、攻击步骤和具体修复，并补充权限滥用、升级、跨链、预言机和部署状态检查，最后给出 GO、附条件 GO 或 NO-GO 判断。其他虚拟机只有通用逻辑审查，结果需独立验证，不能视为无漏洞证明。
仓库事实
- 主要语言
- Rust
- 许可证
- MIT
- 仓库更新时间
- 2026年6月18日
- 默认分支
- main
资源类型
通用技能
使用场景
安全与隐私
运行平台
Claude Code、Codex 等
核心能力
工具调用验证与评测