Cloudflare 开源 security-audit-skill：让编码智能体按六阶段流程做安全审计

Cloudflare 开源了一个编码智能体 Skill：security-audit-skill，一句话就能让你的编程智能体变成安全审计员，按六阶段流程对代码库做审计，结论还要经过另一个独立智能体的验证才算数。这个 Skill 是 Cloudflare 自家漏洞发现流水线的起点，本周登上 GitHub Trending 周榜第一，目前 53,260 星、MIT 协议。

六阶段审计流程

Skill 把一次审计拆成六个阶段，由彼此隔离的智能体分工完成：

1. 侦察：梳理架构、信任边界、输入面与已有证据，写成 architecture.md 与 coverage-ledger.json。
2. 覆盖式猎取：按覆盖清单给隔离的猎手分配检查单元，另有覆盖评审员专门找遗漏。
3. 候选验证：每个候选发现都交给一个全新的验证者，任务是证伪它，而不是证实它。
4. 结构化输出：结论按 confirmed（已确认）、needs_validation（待验证）、rejected（已证伪）三档写入 findings.json，并用 report-schema.json 校验。
5. 独立记录验证：新的智能体逐条核对最终报告里的来源引用，关键内容被替换后还要再过一遍独立验证。
6. 中立报告：从已验证的记录与覆盖清单生成 REPORT.md、FINDINGS-DETAIL.md 与 NEEDS-VALIDATION.md。

每轮审计结束都会跑两个零依赖校验器（validate-coverage-ledger.cjs 与 validate-findings.cjs），多次跑同一个仓库结果是累加的：用已有的清单与结论去补覆盖缺口、复核改动过的源码，而不是把旧的、未解决的工作当成已覆盖。

怎么安装与使用

用 Skills CLI 一行命令安装：

npx skills add https://github.com/cloudflare/security-audit-skill \
  --skill security-audit

加 –global 可装到用户级。之后在要审计的代码库里启动编码智能体，直接说一句话就行，比如“security audit this codebase”“find security vulnerabilities in ./src”或“do a security review, output to ~/audits/my-project”。Skill 会按触发词自动激活：直接要求审计或渗透测试走完整审计模式，只问安全问题或做聚焦检查则走指导模式。完整模式下未指定输出目录时，默认写到 ~/security-audit-skill/<repo-name>/run-<N>；只有当你明确选了一个版本控制忽略的目录时，流程才会在目标仓库内写文件。

要求：沙箱是硬条件

README 明确要求：编码智能体须支持工具调用与并行子智能体；需要 Node.js 跑两个校验器；还需要一个操作系统级沙箱来跑目标代码控制的构建、测试、进程与模糊测试，且必须禁用外部网络、使用净化过的白名单环境、限制资源、只允许写指定的临时路径。没有这些控制时，流程不会执行目标代码，而是把线索保持为 needs_validation。

设计原则：只认已证实的边界失效

• 只确认已证实的边界失效：有来源依据但被卡住的线索保持 needs_validation，并写明具体哪个事实未解决。
• 对抗式验证：检查发现的智能体永远不是发现它的那个。
• 严重程度看影响：可能性 × 影响，而不是对照检查表打勾。
• 纵深防御的缺口不是漏洞：如果 A 层已经挡住了攻击，缺 B 层只是加固建议。
• 多跑几遍覆盖更全：Cloudflare 的测试显示，单次运行大约只找到多次运行总数的约一半漏洞。

Skill 附带了完整的攻击类别提示词库：内存安全与二进制、AI 与 LLM（提示词注入、智能体/工具、输出处理）、Web 协议与认证、客户端、供应链与发布、云与部署、RPC 与消息队列、资源耗尽、数据隔离与生命周期、桌面/移动与本地 IPC 等。相关阅读：装 Skill 之前可以先用NVIDIA 开源的 SkillSpector 给 Skill 做一次安全扫描；安全基准方面可参考Google 发布的 Gemini 4 Carbon，安全基准三项第一。

转自 GitHub 作者 Cloudflare 的项目《security-audit-skill》，原文链接：https://github.com/cloudflare/security-audit-skill；背景文章：Build your own vulnerability harness