skills

ビットスキルマーケットプレイスのトレイル Claude Code プラグインは、Trail of Bits のマーケットプレイスで、AI によるセキュリティ分析、テスト、開発ワークフローを強化します。 Codex は、Claude マーケットプレースの互換性により、このマーケットプレースをロードできます。 > 参照: claude-code-config・スキルキュレーション・claude-code-devcontainer・dropkit インストール クロードコードマーケットプレイス プラグインのブラウズとインストール コードx Codex は Claude プラグインのマーケットプレースを直接サポートしているため、このリポジトリは Codex 固有のサイドカーメタデータを必要としません。 市場を次のようにインストールします。 地域開発 ローカルにマーケットプレイスを追加するには(例:テストや開発のために)、このリポジトリの**parentディレクトリ**に移動します。 利用可能なプラグイン スマートコントラクトセキュリティ | プラグイン | 説明 | お問い合わせ | ビル・セキュア・コントラクト | 6つのブロックチェーンに対応したスマートコントラクト・セキュリティ・ツールキット | | エントリーポイントアナライザー | セキュリティ監査のためのスマートコントラクトのステート変更エントリポイントを特定 | コード監査 | プラグイン | 説明 | お問い合わせ | エージェント・アクション・アカディエイター | 監査 GitHub 行動ワークフロー AI エージェントのセキュリティ脆弱性 | | 監査・コンテキスト構築 | バグを探し、一度に1つの機能を見る前にコードベースを理解する | | burpsuite-project-parser | Burp Suiteのプロジェクトファイルからのデータ検索・抽出 | | c-review | 並列作業員とSARIF出力による包括的なC/C++セキュリティレビュー | | 差分レビュー | git履歴解析によるコード変更のセキュリティ重視の差分検討 | | 寸法分析 | 寸法解析のコメントでコードベースを注釈付けし、ユニットの不一致や方式のバグを検出 | | fp-check | 防犯バグの検証に誤った検証を必須のゲートレビューで行います | | デフォルト設定 | フェイル・オープン・安全でない既定の並列監査ワークフロー | 候補ファイルごとに改良版 | | rust-review | 安全・安心・安全・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・持続的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・持続的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的・安定的 | semgrep-rule-creator | カスタムの脆弱性検出のためのSemgrepルールの作成と精製 | | semgrep-rule-variant-creator | 既存のSemgrepルールを、テスト主導の検証で新しいターゲット言語に送る | | シャープエッジ | 誤差 API の特定、危険な設定、足場設計 | | 静的解析 | コードQL、セクレプ、SARIF解析による静的解析ツールキット | | サプライチェーン・リスク・監査人 | 監査npm、PyPI、およびバージョン・マッチング・アドバイザリーの依存関係の構築、上流の放棄、出版社の集中、スクリプトのインストール | | テストハンドブック・スキル | テストハンドブックのスキル | ファザー・静的解析・サニタイザー・カバレッジ | | 基本情報 | コードグラフ解析、バインドされたサブエージェントのコンテキストスライシング、マーメイドダイアグラム、変異試験トライア、プロトコル検証 | | 多様解析 | パターンベース解析を用いたコードベースで類似した脆弱性の発見 | | 脆弱性・トリアージ・ブロカード | 深層解析前の7つのブロカードによるトリエージ脆弱性報告 | マルウェア解析 | プラグイン | 説明 | お問い合わせ | yara-authoring | YARA 検出ルール ライニング・原子解析・ベストプラクティス | 認証 | プラグイン | 説明 | お問い合わせ | 定時解析 | 暗号コードのコンパイラ誘発タイミングのサイドチャネルの検出 | | 変異テスト | ミュートン変異テストキャンペーンの構成 — スコープターゲット、チューンタイムアウト、ロングランの最適化 | | プロパティベースのテスト | 書き込み、レビュー、およびトリアージ プロパティベースのテスト — 仮説、高速チェック、プロファイト、Echidna、またはSolidity InvariantsのMedusa | | スペックト・コード・コンプライアンス | 契約書、C/C++、サービス、ファームウェアを介した文書に対するチェックコード | | 筆記防止 | 基調講演4 証拠と設計 基調講演| | ゼロズ監査 | C/C++ および Rust の秘密の欠如またはコンパイラ除去ゼロ化の検出 | リバースエンジニアリング | プラグイン | 説明 | お問い合わせ | dwarf-expert | DWARF デバッグ情報解析・検索 DIEs の完全性検証、DWARF 解析コード作成 | モバイルセキュリティ | プラグイン | 説明 | お問い合わせ | Firebase-apk-scanner | Firebaseセキュリティの誤構成のためのAndroid APKのスキャン | 研究開発 | プラグイン | 説明 | お問い合わせ | 開発