文章介绍了作者开发的自主智能合约审计工具 Plamen。该工具采用多代理递归架构和8阶段工作流,利用 Claude 的长上下文能力解决传统 AI 审计中的幻觉和逻辑遗漏问题。Plamen 在 DODO 审计竞赛中实现了 91.2% 的覆盖率,能有效识别复杂的跨函数逻辑漏洞和状态一致性漏洞。