开源AI代理工作流：用于审计Solidity智能合约

AI Agent Audit是一个用Rust编写的命令行工具，利用AI（推荐OpenAI Codex）对Solidity智能合约进行安全审查。它能发现漏洞、去重验证、生成可运行的PoC（概念验证）并输出专业审计报告。工具支持多种审计类型（如Code4rena、Immunefi等），需配合Slither、Foundry等工具使用。目前处于公开测试阶段，旨在加速专家审查，而非取代人工审计。