PlamenTSV/plamen

解决的问题

Plamen 是一个自主安全审计器，旨在发现智能合约和第1层（L1）节点客户端基础设施中的漏洞。它自动化了跨多个区块链生态系统审计代码的复杂过程，通过生成带有概念验证（PoC）漏洞利用的已验证报告，减少了对人工安全审查的需求。

工作原理

Plamen 编排了一个由18到100个AI代理组成的群体，跨越40多个分析阶段。它与Claude Code和OpenAI Codex CLI等AI运行时集成以执行其工作流程。该系统结合了静态分析（通过MCP服务器如Slither）、自定义RAG（检索增强生成）漏洞数据库以及可执行的PoC尝试来验证发现。它支持多种语言和平台，包括EVM/Solidity、Solana/Anchor、Aptos/Sui Move，以及用于L1基础设施的Go/Rust。

适用对象

安全研究人员、区块链开发人员和审计人员，他们需要对智能合约或区块链节点客户端进行自动化、高深度的安全分析。

亮点

• 多链支持：适用于EVM、Solana、Aptos、Sui、Soroban、DAML以及L1 Go/Rust客户端。
• 已验证发现：强制对重大危害进行可执行的概念验证（PoC）尝试，以消除误报。
• 分级审计模式：提供轻量、核心和全面模式，以平衡速度、成本和分析深度。
• L1基础设施重点：包括用于审计共识引擎、点对点网络和验证器生命周期代码的专门技能。
• RAG集成：具有可选的漏洞数据库，使AI代理基于已知安全模式进行推理。