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 | バグを探す前にコードベースを理解する、一度に1つの関数ずつ |
| burpsuite-project-parser | Burp Suiteプロジェクトファイルからデータを検索・抽出 |
| c-review | 包括的なC/C++セキュリティコードレビュー、ソースのパースに対して検証されたカバレッジ付き |
| differential-review | git履歴分析を用いた、コード変更に対するセキュリティ重視の差分レビュー |
| dimensional-analysis | 次元解析コメントでコードベースを注釈付けし、単位の不一致や数式のバグを検出 |
| fp-check | 必須のゲートレビューを伴う、セキュリティバグ分析のための体系的な誤検知検証 |
| insecure-defaults | fail-openな安全でないデフォルトに対する並列監査ワークフロー、候補ファイルごとの反証検証付き |
| rust-review | safe/unsafe境界、メモリ安全性、並行性、パニックDoS、FFI、非同期ランタイムをカバーする包括的なRustセキュリティレビュー、SARIF出力付き |
| semgrep-rule-creator | カスタム脆弱性検出のためのSemgrepルールの作成と改良 |
| semgrep-rule-variant-creator | テスト駆動検証を用いて既存のSemgrepルールを新しい対象言語に移植 |
| sharp-edges | エラーを誘発しやすいAPI、危険な設定、フットガン設計を特定 |
| 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つのブロカードを用いて脆弱性レポートをトリアージし、より深い分析の前に受け入れる、却下する、または追加情報を求める |
| プラグイン | 説明 |
|---|---|
| yara-authoring | リンティング、アトム分析、ベストプラクティスを備えた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セキュリティ設定ミスをスキャン |