Trail of Bits

関数をまたぐデータの流れをCodeQLで追跡し、コード全体の脆弱性を調べます。解析用データベースの品質確認や独自APIのモデル作成、結果の保存まで扱うスキル。

• コード全体の脆弱性を検査したいとき
• 独自APIを通る外部入力を追いたいとき
• 網羅的な解析と高精度な解析の選択

初めて読むコードの関数ごとに、前提条件や保証する内容、呼び出し先との依存関係を整理し、脆弱性調査に先立つ理解と未解決の疑問を記録するスキル。

• 未知のコードを監査前に理解したいとき
• 脅威分析に向けた依存関係の整理
• アーキテクチャレビューの準備

依存パッケージの脆弱性情報、保守状況、npmの公開権限の集中、インストール時のスクリプト実行を調べ、測定根拠と対応の優先順位を添えたレポートにまとめるスキル。

• 案件開始前に依存リスクを確認したいとき
• ロックファイル全体の脆弱性情報の確認
• 保守が止まった依存を探したいとき

未コミットの変更やブランチの差分、特定のコミットを、CodexやAntigravityでレビューします。指摘を重大度や該当箇所とともに整理し、両者の見解も比較できます。

• 未コミットの変更のバグを確認したいとき
• 同じブランチ差分で二者のレビュー比較
• 特定コミットのセキュリティレビュー

GitHubのリポジトリやPR、Issue、APIの参照を、認証済みのghコマンドで行うよう案内し、非公開リポジトリへのアクセスやファイル確認の手順を整えるスキル。

• GitHubのPRやIssueの確認
• 非公開リポジトリへの認証付きアクセス
• ghによるGitHub APIの参照

外部のセキュリティ監査に向け、レビュー目標や対象範囲を整理し、静的解析、テストの補強、不要コードの整理、ビルド手順や説明資料の作成を進めるスキル。

• 外部セキュリティ監査の事前準備
• 監査前の修正と不足テストの整理
• 監査範囲と安定版を決めたいとき

コンパイル済みバイナリのDWARFデバッグ情報を検索・検証し、関数や型の構造の読み解き、仕様の確認、情報を取り出す解析コードの作成を支援します。

• デバッグ情報から関数や型を探したいとき
• DWARFの構造的な整合性の確認
• デバッグ情報の品質指標の比較

報告済みの脆弱性候補について、入力の流れや攻撃条件、既存の防御を確認し、実際の問題か誤検知かを根拠付きで判定して、複数件の検証結果も整理するスキル。

• 報告された脆弱性が実在するか確認したいとき
• 指摘された問題の攻撃成立条件の検証
• 誤検知が疑われる指摘の再確認

Algorandのスマートコントラクトを11種類の脆弱性パターンで点検し、権限や手数料、入力検証の問題を根拠・修正案付きで報告するスキル。

• Algorandの監査前点検
• TEAL・PyTealの取引検証レビュー
• 報告された脆弱性の修正確認

数値計算を含むコードを調べ、単位や小数桁の取り違え、倍率の不整合を検出します。値の単位をコメントで記録し、計算式の意味と確認範囲も整理します。

• DeFiのトークン量と価格換算の確認
• WAD/RAYの倍率ミスを調べたいとき
• 既存の計算式に単位を記録したいとき

Claude CodeやCodexで長時間の作業を任せるために、完了条件・検証方法・停止条件を整理し、そのまま貼り付けられる /goal コマンドを作るスキル。

• 長時間の開発作業に目標を設定したいとき
• 既存の目標の完了条件を明確にしたいとき
• 文字数制限に収まる目標へ短縮したいとき

Pythonの新規プロジェクトや単体スクリプトに、uv・ruff・tyで依存管理、コード整形、型チェックを設定し、既存ツールからの移行も支援するスキル。

• Pythonプロジェクトやパッケージの新規作成
• 外部パッケージを使う単体スクリプトの作成
• 整形・型チェック・テストの設定

スマートコントラクトやブロックチェーンのコードを9分野で評価し、テスト・権限管理・文書などの成熟度を根拠付きの採点表と改善計画にまとめるスキル。

• スマートコントラクトの成熟度評価
• テストと文書の不足の洗い出し
• 権限管理と運用体制の総合点検

セキュリティ修正の前後で攻撃の再現や正常動作を比較し、修正漏れ・不具合・新たな脆弱性を検証します。再現可能なログと未検証の範囲をまとめるスキルです。

• AI生成のセキュリティ修正の事前検証
• 別の攻撃パターンで修正漏れを調べたいとき
• 修正が正常動作を壊していないか確認

SolanaやAnchorのコードを6種類の脆弱性パターンで点検します。外部プログラム呼び出しやアカウント検証を確認し、全項目の判定と根拠、問題箇所の修正案をまとめます。

• Solanaプログラムの公開前点検
• CPIの呼び出し先IDを確認
• PDAとアカウント検証の点検

幅広い入力で成り立つ規則を確かめるプロパティベーステストを作成・レビューし、失敗時にはテストの前提の誤りと実装の不具合を切り分けるスキル。

• エンコード・デコードの往復検証
• 正規化やソートの性質の確認
• 既存プロパティテストの品質レビュー

コードの言語に合う検査ルールを選び、計画の承認後にSemgrepで脆弱性を調べます。全件表示と重要項目への絞り込みに対応し、結果を統合します。

• コードの脆弱性を監査したいとき
• コードレビュー前の安全性確認
• 信頼度と影響度で絞り込みたいとき

Cairoで書かれたStarkNetのスマートコントラクトを調べ、数値演算や層間通信、署名の再利用など6種類の脆弱性について、判定根拠と修正案をまとめるスキル。

• StarkNetの公開前点検
• L1-L2ブリッジの通信処理の監査
• 署名の再利用防止を確認したいとき

Claude Code向けスキルのレビューと修正を繰り返し、重大な指摘の解消を目指します。指摘履歴と変更範囲を管理し、改善が進まない場合は判断を求めます。

• 重大な指摘がなくなるまで改善したいとき
• メタデータや呼び出し条件の説明の改善
• 繰り返し出る指摘を追跡したいとき

暗号コードのコンパイル結果を調べ、秘密情報に応じて処理時間が変わる命令や比較を洗い出し、秘密データとの関係から問題かどうかを判断するスキルです。

• 署名や暗号化処理のレビュー
• 秘密値を使う除算を確認したいとき
• 認証タグの比較処理の点検

Rustのコードを安全性の観点でレビューし、unsafeや外部言語との連携、並行処理、パニックによるサービス停止などの問題を調べるスキルです。

• unsafeを含むRustコードの監査
• 外部言語との接続部分の安全性確認
• 並行処理や非同期処理の問題調査

ブランチのコード変更を理解しやすい順序に整理し、差分・解説・重要度付きの指摘をまとめた、ブラウザで確認できる対話型HTMLのレビュー資料を作成します。

• ブランチの変更を順序立てて理解したいとき
• 差分と設計意図を併せて確認したいとき
• 重要度付きのレビュー指摘の確認

静的解析の結果を記録したSARIFファイルを読み解き、重要度別の抽出や重複整理、複数ツールの結果集約、レポート変換とCI/CD連携を支援するスキル。

• 複数のスキャナーの指摘を集約したいとき
• 重要度別の抽出と重複整理
• 前回の結果から増えた問題の確認

スマートコントラクトの安全性を5段階で点検します。Slitherの解析、権限の図解、守るべき条件の文書化やテスト設定、手動レビューを通じて修正計画をまとめるスキル。

• デプロイ前のコントラクト安全性確認
• Slitherの指摘と誤検出の整理
• 継承関係やアクセス権限の図解