Trail of Bits Claude Code 기술: 보안 연구, 취약점 탐지 및 감사 워크플로우
Trail of Bits에서 제공하는 Claude Code 플러그인 마케이스플레이스로, AI 지원 보안 분석, 테스트, 개발 워크플로를 향상시키는 스킬을 제공합니다. Codex는 Claude 마켓플레이스 호환성을 통해 이 마켓플레이스를 로드할 수 있습니다.
함께 보기: claude-code-config · codex-config · skills-curated · claude-code-devcontainer · dropkit · coop
/plugin marketplace add trailofbits/skills
/plugin menu
Codex는 Claude 플러그인 마켓플레이스를 직접 지원하므로, 이 저장소에는 Codex 전용 사이드카 메타데이터가 필요하지 않습니다.
다음 명령으로 마켓플레이스를 설치하세요:
codex plugin marketplace add trailofbits/skills
codex plugin list
codex plugin add <plugin-name>@trailofbits
워크스페이스 가져오기에는 이 저장소의 .claude-plugin/marketplace.json을 사용하세요.
agents/openai.yaml을 포함하는 스킬은 해당 YAML 파일에 interface.display_name과
interface.short_description도 필요합니다. 플러그인 메타데이터는 이를 제공하지 않습니다.
메타데이터 수정이 게시된 후, 워크스페이스 마켓플레이스에서 저장소를 다시 동기화하여
실패한 가져오기를 재시도하세요.
마켓플레이스를 로컬에 추가하려면(예: 테스트 또는 개발용), 이 저장소의 상위 디렉터리로 이동하세요:
cd /path/to/parent # e.g., if repo is at ~/projects/skills, be in ~/projects
/plugins marketplace add ./skills
| 플러그인 | 설명 |
|---|---|
| building-secure-contracts | 6개 블록체인용 취약점 스캐너와 5개 개발 가이드라인 어시스턴트를 갖춘 스마트 컨트랙트 보안 툴킷 |
| entry-point-analyzer | 보안 감사를 위해 스마트 컨트랙트에서 상태를 변경하는 진입점 식별 |
| 플러그인 | 설명 |
|---|---|
| agentic-actions-auditor | AI 에이전트 보안 취약점에 대해 GitHub Actions 워크플로 감사 |
| audit-context-building | 버그를 찾기 전에 코드베이스를 한 함수씩 이해 |
| burpsuite-project-parser | Burp Suite 프로젝트 파일에서 데이터 검색 및 추출 |
| c-review | 소스 파싱과 대조하여 검증된 커버리지를 갖춘 포괄적인 C/C++ 보안 코드 리뷰 |
| differential-review | git 이력 분석을 통한 보안 중심의 코드 변경 차분 리뷰 |
| dimensional-analysis | 단위 불일치와 수식 버그를 탐지하기 위해 코드베이스에 차원 분석 주석을 추가 |
| fp-check | 필수 게이트 리뷰를 포함한 보안 버그 분석을 위한 체계적인 오탐 검증 |
| insecure-defaults | 후보 파일마다 반박 검증자를 두고 fail-open 안전하지 않은 기본값을 병렬 감사하는 워크플로 |
| rust-review | safe/unsafe 경계, 메모리 안전성, 동시성, panic-DoS, FFI, async 런타임을 다루고 SARIF 출력을 제공하는 포괄적인 Rust 보안 리뷰 |
| semgrep-rule-creator | 사용자 정의 취약점 탐지를 위한 Semgrep 규칙 생성 및 개선 |
| semgrep-rule-variant-creator | 테스트 주도 검증으로 기존 Semgrep 규칙을 새로운 대상 언어로 이식 |
| sharp-edges | 오류를 유발하기 쉬운 API, 위험한 구성, footgun 설계 식별 |
| static-analysis | CodeQL, Semgrep, SARIF 파싱을 갖춘 정적 분석 툴킷 |
| supply-chain-risk-auditor | 버전 대응 권고, 방치된 업스트림, 게시자 집중도, 설치 스크립트에 대해 npm, PyPI, Go 의존성 감사 |
| testing-handbook-skills | Testing Handbook의 스킬: 퍼저, 정적 분석, 새니타이저, 커버리지 |
| trailmark | 코드 그래프 분석, 경계가 설정된 서브에이전트 컨텍스트 슬라이싱, Mermaid 다이어그램, 뮤테이션 테스팅 트리아지, 프로토콜 검증 |
| variant-analysis | 패턴 기반 분석을 사용하여 코드베이스 전반에서 유사한 취약점 탐색 |
| vulnerability-triage-brocards | 심층 분석 전에 취약점 보고서를 7개의 brocard로 트리아지하여 수용, 기각, 추가 정보 요청 |
| 플러그인 | 설명 |
|---|---|
| yara-authoring | 린팅, atom 분석, 모범 사례를 갖춘 YARA 탐지 규칙 작성 |
| 플러그인 | 설명 |
|---|---|
| constant-time-analysis | 암호화 코드에서 컴파일러로 인한 타이밍 부채널 탐지 |
| mutation-testing | 뮤테이션 테스팅 구성, 생존 뮤턴트 분석, 테스트가 취약한 코드의 버그 조사 |
| post-patch-validation | 재현 가능한 실패와 명시적 검증 공백을 통해 패치 작성자가 놓친 변형과 회귀를 찾도록 지원 |
| property-based-testing | 속성 기반 테스트 작성, 리뷰, 트리아지 — Hypothesis, fast-check, proptest, 그리고 Solidity 불변성 검증을 위한 Echidna 또는 Medusa |
| spec-to-code-compliance | 컨트랙트, C/C++, 서비스, 펌웨어 전반에 걸쳐 코드를 이를 명세한 문서와 대조 확인 |
| writing-lean-proofs | Mathlib 관례에 따라 구조화된 Lean 4 증명을 작성하고 Lean 라이브러리 설계 |
| zeroize-audit | C/C++ 및 Rust에서 누락되었거나 컴파일러에 의해 제거된 비밀 정보의 제로화 탐지 |
| 플러그인 | 설명 |
|---|---|
| dwarf-expert | DWARF 디버그 정보 분석: DIE 파싱 및 검색, 무결성 검증, DWARF 파싱 코드 작성 |
| 플러그인 | 설명 |
|---|---|
| firebase-apk-scanner | Android APK에서 Firebase 보안 구성 오류 스캔 |