智能合约安全，
重新定义。

5 层 AI 代理，检测、验证、修补、上链证明 — 全自动完成。

查看 GitHub

双引擎检测。

Slither + Aderyn 交叉验证。LLM 增强分析。8 个检测器家族，共识评分。

8

检测器家族

2,450

知识片段

0.71

召回率

477 篇真实审计报告。

从 Solodit 知识库到向量索引。每一个漏洞模式，每一条攻击路径。

📚 知识来源

477 篇 Solodit 报告 · 303 个漏洞参考 · EVMbench 模式

🔍 向量搜索

ChromaDB + all-MiniLM-L6-v2 嵌入 · 语义相似度匹配

从检测到证明。

Forge 不变性测试。生成漏洞 PoC。验证或证伪每个发现。

🔬 不变性模糊测试

✓ 4 通过 ✕ 2 失败 ⏱ 1 超时

function testFuzz_deposit(uint256 amount) public { vm.assume(amount > 0 && amount <= MAX); bank.deposit{value: amount}(); assertEq(bank.balances(user), amount); }

💥 漏洞 PoC 验证

✓ 已验证

// 攻击：重入 withdraw function attack() external { bank.deposit{value: 1 ether}(); bank.withdraw(); // 重入 assertGt(address(this).balance, 1 ether); }

韧性设计。

检查点恢复。MCP 集成。多策略分析。

🛡️

崩溃恢复

每步保存检查点。使用 --resume 标志续跑。永不丢失进度。

🔌

MCP 服务器

通过 Model Context Protocol 暴露审计工具给 IDE 和代理集成。

🎯

多策略分析

广度分析 + 深度分析。BA 发现通用问题，TA 针对特定模式。

审计结果，链上存证。

EAS Sepolia 链上证明。可验证凭证。透明度由设计保障。

字段值

网络 Sepolia 测试网

交易 0xabc1…def9

Schema 0x736e…a1b2

合约 VulnerableBank.sol

漏洞数量发现 8 个

安全评分 32 / 100

证明者 0xAud1…t0r5