trailofbits/skills

해결하는 문제

이 프로젝트는 AI 지원 보안 분석, 테스트 및 개발을 위한 "스킬"(플러그인)의 큐레이션된 마켓플레이스를 제공합니다. 일반적인 LLM과 전문적인 보안 도구 간의 격차를 메우기 위해, AI 에이전트가 코드 감사, 악성코드 분석, 소프트웨어 정확성 검증과 같은 특정 워크플로우와 기능을 수행할 수 있도록 합니다.

작동 방식

이 마켓플레이스는 Claude Code 및 Codex와 함께 사용되도록 설계되어, 이러한 AI 에이전트가 전문적인 플러그인을 로드하고 실행할 수 있도록 합니다. 이러한 플러그인은 정적 분석, 스마트 계약 감사, 취약점 우선순위 정하기와 같은 복잡한 작업 수행 능력을 에이전트에 확장합니다.

대상 사용자

C/C++, Rust, 스마트 계약, 모바일 보안에 초점을 맞춘 AI 에이전트를 활용하여 보안 워크플로우를 강화하는 보안 연구자, 소프트웨어 감사자, 개발자.

주요 기능

• 보안 감사: C/C++ 및 Rust 보안 리뷰, 차이 분석, 변형 분석을 포함한 도구.
• 스마트 계약 보안: 6개 블록체인에 걸친 취약점 스캔을 위한 전용 툴킷.
• 검증 및 분석: 시간 측면 측정 공격을 탐지하기 위한 상수 시간 분석 도구 및 속성 기반 테스트 지원.
• 개발 워크플로우: GitHub 트리아주, 코드 개선, 최신 C++/Python 최적 실천 방법을 위한 플러그인.
• 멀웨어 및 리버스 엔지니어링: YARA 규칙 작성 및 DWARF 디버그 정보 분석 지원.