多智能体LLM链补全Slither审计盲区
推荐指数 70.0 NO. 006 · 2026.05.06
Stars132创建1 天前Forks109Issues0
为什么值得看
solidity-cot-auditor 将静态分析工具 Slither 的输出接入四角色 LLM 流水线，把机器告警转化为带攻击路径和修复方案的安全报告。对智能合约开发者而言，它解决了传统工具"报得出漏洞、讲不清风险"的痛点，尤其适合需要向非安全专家解释严重性的场景。
Multi-role chain-of-thought LLM pipeline for Solidity security auditing, layered on top of Slither output.
编辑判断
做合约审计的团队通常有两种极端：纯靠 Slither/Mythril 跑规则然后人工逐条确认，或者直接用通用 LLM 丢整份代码问"有没有 bug"，前者漏上下文，后者幻觉严重。这个项目的设计聪明之处在于把 LLM 严格约束在"解释已知发现"而非"自主找 bug"，降低了幻觉风险，同时保留了 CoT 可审计性。
跟直接调用 GPT-4 做审计的通用方案（如 OpenZeppelin 曾实验的 AI 辅助审计）相比，它的角色拆分让每个 LLM 调用有明确输入输出边界，更适合嵌入 CI 流水线做自动化报告生成。
如果你的团队已经在用 Slither 但审计报告总是被开发团队打回说"看不懂严重性"，这个工具可以无缝接上现有工作流，不需要替换任何基础设施。
Star History
生态分析
Experimental
填补 Slither 与开发者之间的语义鸿沟，做智能合约安全审计的 LLM 解释层。
独特价值：四角色 CoT 流水线将静态告警转化为含攻击路径的完整安全报告。