CS

cloudflare/security-audit-skill

开发工具

本页由 AI 翻译,技术细节请以原文为准。 查看原文

5.8万 stars 质量 72 趋势 88MIT

一项用于多阶段安全审计的编码代理技能,具有独立验证、机器可读的发现

概览

这是一种编码代理技能,能让你的代理变成安全审计员。它通过六阶段流程协调多个并行代理——侦察、搜寻、验证、报告、结构化输出和独立验证——以发现具有实际影响的可利用漏洞。 正是这项技能催生了Cloudflare的漏洞发现工具,该工具在《自建漏洞工具》中有描述。该工具发展成一个多阶段、全舰队的系统;该技能是其单仓库的起点。 该技能将进行结构化审计,分为六个阶段: 1. —— 并行研究代理绘制应用架构、信任边界和输入面。产生 architecture.md。2. —— 并行通用代理从不同角度攻击代码库(注入、访问控制、业务逻辑、密码学、功能滥用、链式攻击和通配牌)。每个代理可以生成子代理以深入挖掘。3. —— 不同的代理尝试推翻每个发现。

概述(AI 翻译)

一项编码代理技能,能让你的代理变成安全审计员。它通过侦察、覆盖率主导的狩猎、候选人验证、结构化输出、独立记录核验和目标中立报告来协调孤立的代理。

正是这项技能催生了Cloudflare的漏洞发现工具,该工具在《自建漏洞工具》中有描述。该工具发展成一个多阶段、全舰队的系统;该技能是其单仓库的起点。

它的作用

该技能将进行结构化审计,分为六个阶段:

  1. 侦察——地图架构、信任边界、输入曲面、先验证据及确定性覆盖,内容涵盖architecture.md和coverage-ledger.json。
  2. 覆盖主导狩猎——从账本单元分配孤立猎人,记录他们的检查,并利用覆盖批评者寻找空隙。
  3. 候选验证——将每个唯一候选人交给一个试图推翻其结果的全新验证者。
  4. 结构化输出——将记录写入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:

  1. Reconnaissance – map architecture, trust boundaries, input surfaces, prior evidence, and deterministic coverage in architecture.md and coverage-ledger.json.
  2. Coverage-led hunting – assign isolated hunters from ledger units, record their checks, and use coverage critics to find gaps.
  3. Candidate validation – give every unique candidate to a fresh verifier that tries to disprove it.
  4. Structured output – write confirmed, needs_validation, and rejected records to findings.json and validate them against report-schema.json.
  5. Independent record verification – fresh agents verify final source claims. Material replacements receive another independent verifier.
  6. Target-neutral reporting – derive REPORT.md, FINDINGS-DETAIL.md, and NEEDS-VALIDATION.md from 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
在 GitHub 查看完整 README

推荐工具

换一个关键词,或者移除筛选条件。

安装

npx skillfish add cloudflare/security-audit-skill
新手?先看 mcpskill.org 教程 →