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マーケットプレイスとの互換性。