cloudflare/security-audit-skill

에이전트를 보안 감사자(security auditor)로 변환하는 코딩 에이전트 스킬입니다. 이 스킬은 정찰(reconnaissance), 커버리지 기반 탐색(coverage-led hunting), 후보 검증(candidate validation), 구조화된 출력(structured output), 독립적인 기록 검증(independent record verification), 그리고 대상 중립적 보고(target-neutral reporting)를 통해 격리된 에이전트들을 오케스트레이션합니다.

이 스킬은 Cloudflare의 취약점 발견 하니스(vulnerability discovery harness)에 씨앗을 뿌린 것이며, 이는 Build your own vulnerability harness에서 설명되었습니다. 이 하니스는 다단계의 플릿 전체 시스템으로 성장했으며, 본 스킬은 여기서 진화한 단일 저장소 시작점입니다.

이 스킬은 6단계에 걸쳐 구조화된 감사를 수행합니다:

정찰(Reconnaissance) -- architecture.md와 coverage-ledger.json에서 아키텍처, 신뢰 경계(trust boundaries), 입력 표면(input surfaces), 이전 증거(prior evidence), 그리고 결정론적 커버리지(deterministic coverage)를 매핑합니다.

커버리지 기반 탐색(Coverage-led hunting) -- 레저 단위(ledger units)에서 격리된 헌터들을 할당하고, 그들의 검사를 기록하며, 커버리지 비평가(coverage critics)를 사용하여 누락된 부분을 찾습니다.

후보 검증(Candidate validation) -- 모든 고유한 후보에 대해 이를 반증하려는 새로운 검증자에게 전달합니다.

구조화된 출력(Structured output) -- findings.json에 confirmed, needs_validation, 그리고 rejected 기록을 작성하고, 이들을 report-schema.json과 비교하여 유효성을 검사합니다.

독립적인 기록 검증(Independent record verification) -- 새로운 에이전트들이 최종 소스 클레임(source claims)을 검증합니다. 물질적 대체품(Material replacements)은 또 다른 독립적인 검증자를 받습니다.

대상 중립적 보고(Target-neutral reporting) -- 검증된 기록과 커버리지 레저로부터 REPORT.md, FINDINGS-DETAIL.md, 그리고 NEEDS-VALIDATION.md를 도출합니다.

부모 프로세스는 레저를 생성한 후와 각 이후의 레저 업데이트 후에 validate-coverage-ledger.cjs를 실행합니다. 또한, 4단계에서 validate-findings.cjs를 실행하고, 모든 5단계 대체 작업 후에도 다시 실행합니다.

판결(verdicts)은 다음과 같이 구분됩니다: confirmed는 완전한 소스 추적과 경계가 지정된 관찰 결과(bounded observed result)를 가지며, needs_validation은 정확하지만 해결되지 않은 사실(unresolved fact)을 가지고 있으며 심각도(severity)는 없습니다. 그리고 rejected는 반증된 후보를 기록합니다.

동일한 저장소(repo)에 대한 여러 번의 실행은 누적됩니다. 이 스킬은 이전 기록(ledgers)과 발견 사항을 활용하여 격차를 목표로 하고, 변경된 소스 코드를 재검증하며, 오래되었거나 해결되지 않은 작업이 커버되었다고 간주하지 않고 현재 소스 증거를 전달합니다.

세 가지 모든 findings.json 판결에 대한 JSON 스키마 |
validate-findings.cjs |
Phase 4 및 Phase 5에서 findings.json을 위한 제로 의존성(Zero-dependency) 검증기 |
validate-findings.test.cjs |
Findings 검증기 테스트 및 프로듀서 호환 피처 체크 |
validate-coverage-ledger.cjs |
Phase 1–5에서 coverage-ledger.json을 위한 제로 의존성(Zero-dependency) 검증기 |
validate-coverage-ledger.test.cjs |
Coverage-ledger 검증기 테스트

Skills CLI를 사용하여 스킬 설치:

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

사용자 레벨(user-level) 설치를 위해 --global을 사용하세요:

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

에이전트 선택 및 비대화형(non-interactive) 옵션은 npx skills --help를 실행하세요.

감사하려는 코드베이스에서 코딩 에이전트를 시작한 다음, 보안 감사를 요청하세요:

security audit this codebase

find security vulnerabilities in ./src

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

이 스킬은 요청이 트리거(보안 감사, 취약점 찾기, 코드 침투 테스트 등)와 일치할 때 자동으로 활성화됩니다. 직접적인 코드베이스 감사 또는 침투 테스트 요청은 전체 감사 모드(full audit mode)를 사용합니다. 보안 질문 및 집중적인 취약점 작업은 보고 아티팩트(report artifacts)를 요청하지 않는 한 안내 모드(guidance mode)를 사용합니다. 전체 감사 모드에서는 지정되지 않은 출력 디렉터리는 ~/security-audit-skill/<repo-name>/run-<N>을 기본값으로 합니다.

. 워크플로우는 버전 관리 시스템이 무시하는 디렉터리를 명시적으로 선택할 때만 대상 리포지토리 내부에 기록합니다.

• 도구 사용 및 병렬 서브 에이전트를 지원하는 모델을 가진 코딩 에이전트
• 제로 의존성(zero-dependency) 발견 사항 및 커버리지 원장 검증기를 위한 Node.js
• 대상 리포지토리를 제어하는 빌드, 테스트, 프로세스, 브라우저, 에뮬레이터, 퍼저(fuzzers), 그리고 고정된 환경(fixtures)을 위한 OS 기반 샌드박스. 이는 외부 네트워킹을 비활성화하고, 정제된 허용 목록 환경을 사용하며, 리소스 제한을 적용하고, 할당된 스크래치 경로에만 쓰기를 허용해야 합니다. 이러한 제어 장치가 없으면, 워크플로우는 대상 코드를 실행하는 대신 리드(lead)를 needs_validation 상태로 유지합니다.

확립된 경계 실패만을 확인하세요. 정확한 해결되지 않은 사실과 함께 원본에 기반한 차단된 리드를 needs_validation으로 유지하세요. 적대적 검증(Adversarial validation). 발견 사항을 확인하는 에이전트는 그것을 발견한 에이전트가 아닙니다. 심각도는 영향도에 달려 있습니다. 체크리스트에서 벗어난 것이 아니라, 발생 가능성 x 영향도입니다. 깊이 방어(Defense-in-depth)의 격차는 취약점이 아닙니다. 레이어 A가 공격을 막으면, 레이어 B의 부재는 강화 노트일 뿐입니다. 여러 번 실행하는 것이 커버리지를 향상시킵니다. 저희 테스트 실행에서 단일 실행은 반복 실행으로 발견된 전체 취약점 중 약 절반만을 발견했습니다.

AI 기반 보안 도구에 대한 질문, 피드백 또는 기록 비교는 [email protected]으로 보내주세요.

MIT -- LICENSE 참조.