trailofbits/skills

해결 과제

이 프로젝트는 AI 에이전트(특히 Claude Code 및 Codex)를 위한 전문적인 '기술'(플러그인) 마켓플레이스를 제공하여 복잡한 보안 분석, 소프트웨어 테스트 및 개발 워크플로우를 수행하는 능력을 향상시킵니다. 이는 범용 LLM과 보안 감사 및 리버스 엔지니어링에 필요한 고정밀 요구 사항 사이의 간극을 메워줍니다.

작동 방식

이 저장소는 Claude Code, Codex, ChatGPT Workspaces와 같은 AI 에이전트에 로드할 수 있는 플러그인 마켓플레이스 역할을 합니다. 이러한 플러그인은 에이전트에게 특정 방법론, 도구 통합(Semgrep, CodeQL, SARIF 등), 그리고 스마트 컨트랙트 감사, 악성 코드 분석, 형식 검증과 같은 작업을 위한 구조화된 워크플로우를 제공합니다.

대상 사용자

보안 연구원, 스마트 컨트랙트 감사자, 소프트웨어 엔지니어, 그리고 전문적인 보안 및 검증 도구 세트로 AI 에이전트를 강화하고자 하는 개발자.

주요 특징

• 보안 감사: C/C++, Rust 및 스마트 컨트랙트를 위한 전문 플러그인(취약점 스캐너 및 진입점 분석기 포함).
• 검증 및 테스트: 변이 테스트, 속성 기반 테스트, 암호화 코드 내 타이밍 사이드 채널 탐지를 위한 도구.
• 검증: Lean 4 증명 작성 및 사양에 따른 코드 준수 여부 확인을 위한 도구.
• 개발 워크플로우: 자동화된 검토 및 수정 워크플로우, GitHub 트리아지, 최신 C++/Python 모범 사례를 위한 플러그인.
• 리버스 엔지니어링: DWARF 디버그 정보 분석을 위한 전문 기능.
• 멀티모달 지원: Claude Code, Codex 및 ChatGPT Workspace 마켓플레이스와 호환.