Echidnaは、ユーザー定義の不変条件やSolidityのアサーションを破る呼び出しシーケンスを試して、EthereumスマートコントラクトをテストするHaskell製ファザーです。
trailofbits/skills
Claude CodeとCodexで、AIを活用したセキュリティ監査、テスト、安全な開発を支援するTrail of Bitsのエージェントスキルとプラグインのマーケットプレイス。
- スター
- 8,045
- フォーク
- 683
- 未解決の Issue
- 141
- 最終コミット
- 昨日
これは何?
このリポジトリは、セキュリティ企業Trail of Bitsが開発したエージェントスキルを集めたプラグインマーケットプレイスです。各プラグインは、C/C++やRustのコードにセキュリティ上の問題がないか確認する、スマートコントラクトを監査する、SemgrepやYARAのルールを作成する、GitHub ActionsのワークフローにリスクのあるAIエージェント設定がないか調べる、npm、PyPI、Goの依存関係についてアドバイザリを確認するといった、特定の作業に特化したワークフローをまとめています。
プラグインは、スマートコントラクトのセキュリティ、コード監査、マルウェア解析、検証(ミューテーションテスト、プロパティベーステスト、Leanによる証明など)、リバースエンジニアリング、モダンC++やPythonのプラクティスといった汎用的な開発支援の分野ごとに分類されています。Claude Codeでは1つのコマンドでマーケットプレイスをインストールでき、Codexにはプラグイン用コマンドから追加できます。ChatGPTワークスペースへのインポートにも同じマニフェストを使用します。
また、スキル作者向けのコントリビューションガイドラインと、CIチェックの大半をローカルで実行する`make check`ターゲットも含まれています。コンテンツのライセンスはCC-BY-SA-4.0です。
主な機能
- 01Claude CodeとCodexに、1つのコマンドでマーケットプレイスとしてインストールできます。
- 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のルールを作成する、GitHub ActionsのワークフローにリスクのあるAIエージェント設定がないか調べる、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向けに、push前に別のレビュアーでエージェントの変更を確認するオープンソースのAIコードレビュー。
AI Agent Skillsのプロンプトインジェクション、データ窃取、悪意あるコードのパターンを検出するベストエフォート型セキュリティスキャナーです。
Googleがオープンソースプロジェクト向けに提供する継続的ファジングサービス。libFuzzer、AFL++、Honggfuzzとサニタイザーでセキュリティ上のバグを検出します。