
一项用于多阶段安全审计的编码代理技能,具有独立验证、机器可读的发现
概览
这是一种编码代理技能,能让你的代理变成安全审计员。它通过六阶段流程协调多个并行代理——侦察、搜寻、验证、报告、结构化输出和独立验证——以发现具有实际影响的可利用漏洞。 正是这项技能催生了Cloudflare的漏洞发现工具,该工具在《自建漏洞工具》中有描述。该工具发展成一个多阶段、全舰队的系统;该技能是其单仓库的起点。 该技能将进行结构化审计,分为六个阶段: 1. —— 并行研究代理绘制应用架构、信任边界和输入面。产生 architecture.md。2. —— 并行通用代理从不同角度攻击代码库(注入、访问控制、业务逻辑、密码学、功能滥用、链式攻击和通配牌)。每个代理可以生成子代理以深入挖掘。3. —— 不同的代理尝试推翻每个发现。
概述(AI 翻译)
一项编码代理技能,能让你的代理变成安全审计员。它通过侦察、覆盖率主导的狩猎、候选人验证、结构化输出、独立记录核验和目标中立报告来协调孤立的代理。
正是这项技能催生了Cloudflare的漏洞发现工具,该工具在《自建漏洞工具》中有描述。该工具发展成一个多阶段、全舰队的系统;该技能是其单仓库的起点。
它的作用
该技能将进行结构化审计,分为六个阶段:
- 侦察——地图架构、信任边界、输入曲面、先验证据及确定性覆盖,内容涵盖
architecture.md和coverage-ledger.json。 - 覆盖主导狩猎——从账本单元分配孤立猎人,记录他们的检查,并利用覆盖批评者寻找空隙。
- 候选验证——将每个唯一候选人交给一个试图推翻其结果的全新验证者。
- 结构化输出——将记录写入
confirmed、needs_validation和rejected,并与report-schema.json进行验证。
本页由 AI 翻译,技术细节请以原文为准。
README
以下为原文 README 节选,完整内容请查看原文。
security-audit
A coding-agent skill that turns your agent into a security auditor. It orchestrates isolated agents through reconnaissance, coverage-led hunting, candidate validation, structured output, independent record verification, and target-neutral reporting.
This is the skill that seeded Cloudflare’s vulnerability discovery harness, described in Build your own vulnerability harness. The harness grew into a multi-stage, fleet-wide system; this skill is the single-repo starting point it evolved from.
What it does
The skill runs a structured audit in six phases:
- Reconnaissance – map architecture, trust boundaries, input surfaces, prior evidence, and deterministic coverage in
architecture.mdandcoverage-ledger.json. - Coverage-led hunting – assign isolated hunters from ledger units, record their checks, and use coverage critics to find gaps.
- Candidate validation – give every unique candidate to a fresh verifier that tries to disprove it.
- Structured output – write
confirmed,needs_validation, andrejectedrecords tofindings.jsonand validate them againstreport-schema.json. - Independent record verification – fresh agents verify final source claims. Material replacements receive another independent verifier.
- Target-neutral reporting – derive
REPORT.md,FINDINGS-DETAIL.md, andNEEDS-VALIDATION.mdfrom the verified records and coverage ledger.
The parent runs validate-coverage-ledger.cjs after creating the ledger and after each later ledger update. It runs validate-findings.cjs in Phase 4 and again after every Phase 5 replacement.
The verdicts are distinct: confirmed has a complete source trace and bounded observed result, needs_validation has an exact unresolved fact and no severity, and rejected records a disproved candidate.
Multiple runs against the same repo are additive. The skill uses prior ledgers and findings to target gaps, revalidate changed source, and carry forward current-source evidence without treating stale or unresolved work as covered.
Files
| File | Purpose |
|---|---|
SKILL.md |
Setup, core principles, platform terminology, workflow overview, and audit anti-patterns |
RECONNAISSANCE.md |
Phase 1 reconnaissance prompts and synthesis instructions |
HUNTING.md |
Phase 2 orchestration, hunting methodology, and validation rules |
ATTACK-CLASSES.md |
Core, wildcard, and obvious-things attack prompts |
MEMORY-SAFETY-AND-BINARY.md |
Memory-safety, binary, and kernel hunting classes for native targets |
AI-AND-LLM.md |
Prompt-injection, agent/tool, and output-handling hunting classes for LLM-backed targets |
WEB-PROTOCOL-AND-AUTH.md |
HTTP request-framing, cache, and authentication-protocol hunting classes for HTTP-protocol and auth targets |
推荐工具
换一个关键词,或者移除筛选条件。
安装
npx skillfish add cloudflare/security-audit-skill