security-audit-skill

security-audit

코딩 에이전트를 보안 감사자로 바꿔주는 코딩 에이전트 스킬입니다. 격리된 에이전트들을 정찰, 커버리지 주도 헌팅, 후보 검증, 구조화된 출력, 독립적 레코드 검증, 대상 중립적 보고의 단계로 조율합니다.

이 스킬은 Build your own vulnerability harness 에 설명된 Cloudflare의 취약점 발견 하네스의 출발점이 된 스킬입니다. 그 하네스는 다단계의 플릿 전체 시스템으로 성장했으며, 이 스킬은 그것이 진화해 나온 단일 저장소 시작점입니다.

기능
이 스킬은 여섯 단계로 구조화된 감사를 실행합니다:

정찰 -- 아키텍처, 신뢰 경계, 입력 표면, 기존 증거, 결정적 커버리지를 architecture.md 와 coverage-ledger.json 에 매핑합니다.
커버리지 주도 헌팅 -- 원장 단위에서 격리된 헌터들을 배정하고, 그들의 점검을 기록하며, 커버리지 비평가를 사용해 빈틈을 찾습니다.
후보 검증 -- 모든 고유 후보를 반증을 시도하는 새로운 검증자에게 넘깁니다.
구조화된 출력 -- confirmed , needs_validation , rejected 레코드를 findings.json 에 작성하고 report-schema.json 에 대해 검증합니다.
독립적 레코드 검증 -- 새로운 에이전트들이 최종 소스 주장을 검증합니다. 중대한 교체는 또 다른 독립 검증자를 받습니다.
대상 중립적 보고 -- 검증된 레코드와 커버리지 원장으로부터 REPORT.md , FINDINGS-DETAIL.md , NEEDS-VALIDATION.md 를 도출합니다.

부모는 원장을 생성한 후와 이후의 각 원장 업데이트 후에 validate-coverage-ledger.cjs 를 실행합니다. Phase 4에서 그리고 모든 Phase 5 교체 후에 다시 validate-findings.cjs 를 실행합니다.

판정은 서로 구별됩니다: confirmed 는 완전한 소스 추적과 경계가 정해진 관찰 결과를 가지며, needs_validation 은 정확한 미해결 사실을 가지며 심각도는 없고, rejected 는 반증된 후보를 기록합니다.

같은 저장소에 대한 여러 실행은 누적됩니다. 이 스킬은 이전 원장과 발견을 사용해 빈틈을 겨냥하고, 변경된 소스를 재검증하며, 오래되었거나 미해결된 작업을 커버된 것으로 취급하지 않으면서 현재 소스 증거를 이어갑니다.

파일

파일
목적

SKILL.md
설정, 핵심 원칙, 플랫폼 용어, 워크플로 개요, 감사 안티패턴

RECONNAISSANCE.md
Phase 1 정찰 프롬프트와 종합 지침

HUNTING.md
Phase 2 조율, 헌팅 방법론, 검증 규칙

ATTACK-CLASSES.md
핵심, 와일드카드, 명백한 사항 공격 프롬프트

MEMORY-SAFETY-AND-BINARY.md
네이티브 대상용 메모리 안전성, 바이너리, 커널 헌팅 클래스

AI-AND-LLM.md
LLM 기반 대상용 프롬프트 인젝션, 에이전트/도구, 출력 처리 헌팅 클래스

WEB-PROTOCOL-AND-AUTH.md
HTTP 프로토콜 및 인증 대상용 HTTP 요청 프레이밍, 캐시, 인증 프로토콜 헌팅 클래스

CLIENT-SIDE.md
클라이언트 측/브라우저 대상용 DOM 인젝션, 메시징 신뢰, UI 리드레스, 프로토타입 오염 헌팅 클래스

SUPPLY-CHAIN-AND-RELEASE.md
의존성, CI, 릴리스, 서명, 업데이트, 플러그인, 확장 헌팅 클래스

CLOUD-AND-DEPLOYMENT.md
IAM, 인프라스트럭처 애즈 코드, 컨테이너, 서버리스, 인그레스, 런타임 구성 헌팅 클래스

PROTOCOLS-RPC-AND-MESSAGING.md
RPC, 직렬화, 큐, 브로커, 웹훅, 스트리밍 프로토콜 헌팅 클래스

RESOURCE-EXHAUSTION-AND-AVAILABILITY.md
공유 리소스, 할당량, 큐, 워커, 운영자 지출 헌팅 클래스

DATA-ISOLATION-AND-LIFECYCLE.md
테넌트 격리, 캐시, 검색, 내보내기, 백업, 마이그레이션, 삭제, 복원 헌팅 클래스

DESKTOP-MOBILE-AND-LOCAL-IPC.md
네이티브 앱, 딥링크, 웹뷰, 내보낸 컴포넌트, 헬퍼, 데몬, 로컬 IPC 헌팅 클래스

VALIDATION-AND-REPORTING.md
Phase 3–6 후보 검증, 구조화된 출력, 레코드 검증, 보고

report-schema.json
세 가지 findings.json 판정 모두에 대한 JSON 스키마

validate-findings.cjs
Phase 4와 5에서 findings.json 용 제로 의존성 검증기

validate-findings.test.cjs
발견 검증기 테스트와 생산자 호환 픽스처 검사

validate-coverage-ledger.cjs
Phase 1–5에서 coverage-ledger.json 용 제로 의존성 검증기

validate-coverage-ledger.test.cjs
커버리지 원장 검증기 테스트

설치
Skills CLI 로 스킬을 설치하세요:

npx skills add https://github.com/cloudflare/security-audit-skill \
--skill security-audit
사용자 수준 설치에는 --global 을 사용하세요:

npx skills add https://github.com/cloudflare/security-audit-skill \
--skill security-audit \
--global
에이전트 선택 및 비대화형 옵션은 npx skills --help 를 실행하세요.

사용법
감사하려는 코드베이스에서(또는 그것을 가리키도록) 코딩 에이전트를 시작한 다음, 보안 감사를 수행하도록 요청하세요:

security audit this codebase

find security vulnerabilities in ./src

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

이 스킬은 요청이 트리거(security audit, find vulnerabilities, pen-test the code, 등)와 일치할 때 자동으로 활성화됩니다. 직접적인 코드베이스 감사 또는 펜테스트 요청은 전체 감사 모드를 사용합니다. 보안 질문과 집중적인 취약점 작업은 보고서 산출물을 요청하지 않는 한 가이던스 모드를 사용합니다. 전체 감사 모드에서 지정되지 않은 출력 디렉터리는 기본값으로 ~/security-audit-skill/<repo-name>/run-<N> 을 사용합니다. 워크플로는 버전 관리가 무시하는 디렉터리를 명시적으로 선택한 경우에만 대상 저장소 내부에 작성합니다.

요구 사항

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

설계 원칙

확립된 경계 실패만 확인합니다. 소스에 근거한 차단된 리드는 정확한 미해결 사실과 함께 needs_validation 으로 유지합니다.
적대적 검증. 발견을 점검하는 에이전트는 그것을 발견한 에이전트가 아닙니다.
심각도는 영향력을 요구합니다. 체크리스트로부터의 편차가 아니라 가능성 x 영향력입니다.
심층 방어 빈틈은 취약점이 아닙니다. Layer A가 공격을 막는다면, Layer B의 부재는 강화 노트입니다.
여러 실행은 커버리지를 개선합니다. 우리의 테스트 실행에서, 단일 실행은 반복 실행이 총체적으로 발견한 취약점의 약 절반을 발견했습니다.

연락처
질문, 피드백, 또는 AI 기반 보안 도구에 대한 의견 교환: [email protected]

라이선스
MIT -- LICENSE 참조.