Skill security-audit-skill 把编码智能体变成可验证的安全审计专家

把“让 AI 帮我看看代码有没有安全漏洞”这句话说出口很简单，但要真正落地却处处是坑：大部分编码智能体只会顺手扫一遍就给出结论，既说不清覆盖到了哪些入口，也无法证明某个“漏洞”真的能触发。安全审计最怕两件事——覆盖不全和结论不可信。Cloudflare 开源的 security-audit-skill 正是冲着这两个痛点来的：它把审计拆成多阶段流程，用互相独立的验证智能体交叉确认每条发现，输出机器可读、可复核的结果。

项目基本信息

一、项目介绍

security-audit-skill 是 Cloudflare 内部漏洞挖掘体系的“单仓起点”。Cloudflare 曾写过一篇《Build your own vulnerability harness》介绍他们如何用多阶段、舰队级的智能体做漏洞发现，而这个仓库就是那套方法沉淀成一个可被任意编码智能体加载的 Skill。它本身不扫描，而是定义一套六阶段的审计剧本：侦察、按覆盖率的猎杀、候选验证、结构化输出、独立复核、与目标无关的报告生成。

二、核心优势

第一，覆盖可证明。它会维护一份 coverage-ledger（覆盖台账），把代码的每一个输入面、信任边界分配到具体的猎杀任务，并由 coverage critic 检查遗漏。第二，结论可证伪。每个候选漏洞都会交给一个全新的验证智能体去“试图推翻”，只有带完整源码链路和受限观察结果才算 confirmed。第三，复盘可累积。对同一仓库多次运行是叠加式的，之前 ledger 与发现会被用来定位新缺口、对已变更源码重新验证，不会把陈旧或未决的工作当成已覆盖。

三、适用场景

适合在合并前对核心模块做一轮强制安全审计，尤其适合处理不可信输入、鉴权边界、反序列化、命令注入等高危面。对安全团队，它是一套可重复、可审计的 harness；对个人开发者，它是把“我觉得这里可能有问题”变成“这里有证据、有链路、有结论”的工具。

四、安装教程

该 Skill 通过 Skills CLI 安装，需要 Node.js 环境：

# 项目级安装
npx skills add https://github.com/cloudflare/security-audit-skill --skill security-audit

# 用户级（全局）安装
npx skills add https://github.com/cloudflare/security-audit-skill --skill security-audit --global

常见报错：npx skills 提示找不到命令，通常是 Node.js 未安装或 npx 缓存损坏，重装 Node.js 18+ 后重试即可。沙箱环境务必开启网络隔离与资源限制，否则工作流会把未验证的发现标记为 needs_validation 而不是直接执行目标代码。

五、使用示例

在已经打开目标代码库的编码智能体里直接下指令：

security audit this codebase

find security vulnerabilities in ./src

do a security review, output to ~/audits/my-project

未指定输出目录时，完整审计默认写入 ~/security-audit-skill/<repo-name>/run-<N>。当请求命中“安全审计 / 找漏洞 / 渗透测试”等触发词时，Skill 会自动激活；普通安全提问走 guidance 模式，只有明确要求产出报告时才进入 full audit。

六、常见问题

Q：我的智能体没有并行子智能体能力，能用吗？
A：六阶段依赖并行猎杀与独立验证，建议搭配支持 tool use 与 sub-agent 的模型，否则覆盖与可信度都会打折。

Q：审计会改我的源码吗？
A：只有当你显式选择一个被版本控制忽略的目录时，工作流才会写进目标仓库；默认只在沙箱内产出报告文件。

Q：为什么有些发现标成 needs_validation？
A：当某条结论存在一个无法当下解决的精确事实，或沙箱缺少隔离控制时，系统会保守地标记为待验证，而非直接定性。

七、总结

security-audit-skill 的价值不在于“又多了一个扫描器”，而在于把安全审计变成一套可证明覆盖、可证伪结论、可跨次累积的流程。对重视供应链与代码安全的团队，它值得作为合并前的一道自动化关卡。