flounder

Flounder 是一个自主式白帽安全审计框架，将大模型代理（如 Codex、Claude Code）转化为端到端安全审计系统。它支持对智能合约、ZK 证明系统、代码仓库等授权目标自动执行目标准备、攻击面测绘、漏洞挖掘、本地验证与真实环境复现，并生成可执行证据的审计报告。核心特点是不依赖预置规则或特定技术栈，而是通过沙箱管控、命令策略、持久化状态和执行门控，为模型提供可控的审计工作流基础设施。适用于区块链安全团队、智能合约开发者及 ZK 项目方在开发/上线前开展自动化、可验证的安全评估。