trailofbits/skills

何を解決するか

このプロジェクトは、AI支援によるセキュリティ分析、テスト、開発のための「スキル」（プラグイン）のキュレートされたマーケットプレイスを提供します。汎用的なLLMと専門的なセキュリティツールの間のギャップを埋め、AIエージェントにコード監査、マルウェア分析、ソフトウェア正しさの検証といった特定のワークフローと機能を提供します。

動作方法

このマーケットプレイスは Claude Code および Codex と連携して使用されるように設計されており、これらのAIエージェントが専門的なプラグインを読み込み実行できるようにします。これらのプラグインにより、静的解析、スマートコントラクト監査、脆弱性の優先順位付けといった複雑なタスクの実行能力が拡張されます。

対象ユーザー

C/C++、Rust、スマートコントラクト、モバイルセキュリティに焦点を当てた、AIエージェントを活用してセキュリティワークフローを強化するセキュリティ研究者、ソフトウェア監査者、開発者。

主な特徴

• セキュリティ監査: C/C++およびRustのセキュリティレビュー、差分レビュー、バリアント分析を含むツール。
• スマートコントラクトセキュリティ: 6つのブロックチェーンにわたる脆弱性スキャンのための専用ツールキット。
• 検証と分析: 時間側信道を検出するための定数時間分析ツール、およびプロパティベースのテストサポート。
• 開発ワークフロー: GitHubのトリアージ、コード改善、現代的なC++/Pythonのベストプラクティスを支援するプラグイン。
• マルウェアおよびリバースエンジニアリング: YARAルール作成およびDWARFデバッグ情報分析のサポート。