Echidna는 사용자 정의 불변 조건이나 Solidity 어설션을 깨는 호출 시퀀스를 찾아 Ethereum 스마트 컨트랙트를 테스트하는 Haskell 기반 퍼저입니다.
trailofbits/skills
Claude Code와 Codex에서 AI 보안 감사, 테스트, 보안 개발을 지원하는 Trail of Bits 에이전트 스킬 및 플러그인 마켓플레이스입니다.
- 스타
- 8,045
- 포크
- 683
- 열린 이슈
- 141
- 마지막 커밋
- 어제
어떤 프로젝트인가요?
이 저장소는 보안 회사 Trail of Bits가 만든 에이전트 스킬 플러그인 마켓플레이스입니다. 각 플러그인은 C/C++ 또는 Rust 코드의 보안 문제 검토, 스마트 계약 감사, Semgrep 또는 YARA 규칙 작성, 위험한 AI 에이전트 설정이 있는 GitHub Actions 워크플로 점검, npm·PyPI·Go 종속성의 보안 권고 확인 등 특정 작업 흐름을 제공합니다.
플러그인은 스마트 계약 보안, 코드 감사, 악성코드 분석, 검증(뮤테이션 테스트, 속성 기반 테스트, Lean 증명 포함), 리버스 엔지니어링, 최신 C++ 및 Python 개발 방식 같은 범용 개발 도우미 분야로 나뉩니다. Claude Code에서는 명령 하나로 마켓플레이스를 설치할 수 있으며, Codex에는 플러그인 명령으로 추가할 수 있습니다. ChatGPT 워크스페이스에서도 동일한 manifest를 가져와 사용할 수 있습니다.
저장소에는 스킬 작성자를 위한 기여 가이드라인과 CI 검사 대부분을 로컬에서 실행하는 `make check` 타깃도 포함되어 있습니다. 콘텐츠의 라이선스는 CC-BY-SA-4.0입니다.
핵심 기능
- 01Claude Code와 Codex에서 명령 하나로 마켓플레이스를 설치할 수 있습니다.
- 02스마트 계약 감사, 코드 리뷰, 정적 분석, 종속성 위험 점검을 지원합니다.
- 03Semgrep 및 YARA 규칙 작성을 돕는 도구를 제공합니다.
- 04뮤테이션 테스트와 속성 기반 테스트 같은 검증 스킬을 포함합니다.
- 05푸시 전에 CI 검사 대부분을 실행하는 로컬 검사 타깃을 제공합니다.
활용 사례
- AI 지원을 받아 C, C++, Rust 또는 Solidity 코드베이스를 감사하는 보안 엔지니어.
- 알려진 보안 권고와 위험한 설치 스크립트가 있는지 종속성을 점검하는 팀.
- 사용자 지정 Semgrep 또는 YARA 탐지 규칙을 작성하는 개발자.
빠른 시작
- 1
Claude Code 내에서 Claude Code 마켓플레이스를 추가하세요
/plugin marketplace add trailofbits/skills - 2
플러그인 메뉴에서 플러그인을 둘러보고 설치하세요
/plugin menu
사용 전 알아둘 점
- 콘텐츠는 CC-BY-SA-4.0 라이선스로 제공됩니다. 이 라이선스는 동일한 라이선스를 파생 저작물에도 적용해야 하는 동일조건변경허락 라이선스입니다.
- 플러그인은 Claude Code, Codex 또는 ChatGPT 워크스페이스 마켓플레이스용으로 설계되어 독립 실행형 소프트웨어로는 작동하지 않습니다.
포함된 컬렉션
토픽
자주 묻는 질문
- skills은(는) 무엇인가요?
- Claude Code와 Codex에서 AI 보안 감사, 테스트, 보안 개발을 지원하는 Trail of Bits 에이전트 스킬 및 플러그인 마켓플레이스입니다. 이 저장소는 보안 회사 Trail of Bits가 만든 에이전트 스킬 플러그인 마켓플레이스입니다. 각 플러그인은 C/C++ 또는 Rust 코드의 보안 문제 검토, 스마트 계약 감사, Semgrep 또는 YARA 규칙 작성, 위험한 AI 에이전트 설정이 있는 GitHub Actions 워크플로 점검, npm·PyPI·Go 종속성의 보안 권고 확인 등 특정 작업 흐름을 제공합니다.
- skills은(는) 무료로 사용할 수 있나요? 라이선스는 무엇인가요?
- skills은(는) CC-BY-SA-4.0 라이선스의 오픈소스입니다. 상업용 제품에 사용하기 전에 라이선스 조건을 확인하세요.
- skills은(는) 아직 유지보수되고 있나요?
- 활발히 유지보수 중. skills의 마지막 커밋은 2026년 11월 6일입니다.
- skills은(는) 어디에 사용할 수 있나요?
- AI 지원을 받아 C, C++, Rust 또는 Solidity 코드베이스를 감사하는 보안 엔지니어. 알려진 보안 권고와 위험한 설치 스크립트가 있는지 종속성을 점검하는 팀. 사용자 지정 Semgrep 또는 YARA 탐지 규칙을 작성하는 개발자.
- skills는 어떻게 설치하나요?
- Claude Code 내에서 Claude Code 마켓플레이스를 추가하세요: /plugin marketplace add trailofbits/skills 플러그인 메뉴에서 플러그인을 둘러보고 설치하세요: /plugin menu
- skills은(는) 어디서 받을 수 있나요?
- 소스 코드와 설치 방법은 GitHub에 있습니다: https://github.com/trailofbits/skills
요약은 프로젝트 README를 바탕으로 AI가 작성했습니다. GitHub 통계는 매일 갱신됩니다.
관련 프로젝트
의존성, 코드, 도메인 보안 검사를 실행하고 결과를 공유 가능한 HTML 보고서로 만드는 무료 오픈소스 도구입니다.
Claude를 위한 자율형 취약점 탐지·패치 파이프라인의 레퍼런스 구현으로, 위협 모델링, 스캔, 분류, 패치를 위한 대화형 보안 스킬을 제공합니다.
Claude Code, Codex, Cursor, Cline에서 푸시 전에 별도 리뷰어가 에이전트의 변경 사항을 검토하는 오픈소스 AI 코드 리뷰 도구입니다.
AI Agent Skills에서 프롬프트 인젝션, 데이터 유출, 악성 코드 패턴을 탐지하는 최선의 노력을 다하는 보안 스캐너입니다.
Google이 오픈소스 프로젝트에서 보안 버그를 찾기 위해 libFuzzer, AFL++, Honggfuzz와 sanitizer를 실행하는 지속적 퍼징 서비스입니다.