Bug Bounty Intelligence

バグ報奨金インテリジェンス：MCP サーバー

AI エージェントと開発者向けの、AI を活用したスマートコントラクトのセキュリティ分析です。

誤りだと判明した当社の公開発言はすべて、日付と修正内容とともにERRATA.mdに記載しています。結果の集計ルールについてはMEASUREMENT-RULE-two-judge-strict.mdをご覧ください。

更新、2026年10月25日、夜：スキャンに加えて無料ツールを2つ

同じコンテストで、Slither 0.11.6 と Aderyn 0.6.8 をデフォルト設定で実行し、同じ2人の判定者に既知の High および Medium の指摘事項と出力を比較してもらいました。結果はどちらもゼロでした。セットアップを実行できたコンテストで、Slither は34件中0件、Aderyn は70件中0件でした。同じコンテストで、当社のスキャンは最初の15個の仮説で34件中6件、70件中10件を検出しました。静的解析ツールは、コンテストで評価されるビジネスロジック上の欠陥を検出するようには作られていません。また、古いコンテストは当社のスキャンを支えるモデルのトレーニングデータに含まれている可能性があり、判定者も言語モデルです。そのため、これは順位付けではなく説明としてお読みください：results/2026-10-25-free-tools/README.md。

更新、2026年10月25日、夜：1ドルのクイックスキャン

価格が2種類になりました。クイックスキャンは、Base 上で1 USDCを支払って POST https://x402.tokenizen.nl/api/bug-intel-quick にリクエストすると、モデルが最も確信している15個の仮説を返します。フルスキャンは、5 USDCを支払って POST https://x402.tokenizen.nl/api/bug-intel にリクエストすると、確信度の低い仮説をさらに15個追加します。どちらも同じエンジンを使い、同じ種類のレポートを返します。測定した検出率（105件中8件、66件中5件）は、最初の15個の仮説に対するものなので、クイックスキャンの数値です。2つ目のリストがフルスキャンで追加される分です。公式 x402 クライアントは、所有者が上限を引き上げない限り、1リクエストあたり1ドルを超える支払いを拒否するため、クイックスキャンの価格はちょうど1ドルです。また、実際に購入して、デフォルト設定のエージェントが購入できることも確認しました：results/2026-10-25-v31/quick-scan-purchase/README.md。どちらのエンドポイントも支払い要求に署名します。

更新、2026年10月25日、夜：標準 x402 クライアントでスキャンを購入可能に

本日まで、スキャンエンドポイントが受け付けていたのは手動で支払った取引ハッシュだけでした。標準 x402 クライアントが送信する署名済み認証には、402の応答で利用可能と示していたにもかかわらず、400を返していました。この問題は修正済みです。標準クライアント（@x402/fetch 2.28.0）が使い捨てアドレスからスキャンを購入し、応答で領収書を受け取りました。領収書に対する6つのチェックはすべて合格しています：results/2026-10-25-v31/standard-client-purchase/README.md。これは当社自身のお金を使った、1回限りの自己テストです。購入者が知っておくべき点が1つあります。公式クライアントは、所有者が上限を引き上げない限り、1リクエストあたり1ドルを超える支払いを拒否しますが、スキャンの価格は5ドルです。

更新、2026年10月25日、夜：過去1年間のコンテストでのスキャン

あらかじめ結果の読み取りルールを記載したうえで、2025年9月から2026年3月までの Code4rena コンテスト9件（既知の High および Medium の指摘事項が66件）で、スキャンを1回実行しました。レポートの最初の15個の仮説には66件中5件（7.6％）が含まれ、最初の30個には8件（12.1％）が含まれていました。これは8件の Sherlock コンテストと同じ検出率であるため、当社独自のルールでは、より新しいコンテストでも結果は同様です。それでも検出率は低く、既知の指摘事項66件のうち58件は最初の15個に含まれていませんでした。数値、判定結果、リスト全体、制約についてはresults/2026-10-25-c4-fresh/README.mdをご覧ください。

レポートには、最大30個の仮説を2つのリストに分けて表示できるようになりました。モデルが最も確信している15個と、確信度が低い仮説をさらに15個です。保存されているリストでは、2つ目のリストに、1つ目のリストにはなかった既知の指摘事項が8件含まれていました（Sherlockで5件、Code4renaで3件）。ただし、適合率はやや低くなっています。数値を確認したあとに選んだため、これは製品上の判断であり、事前登録されたテストではありません。

更新、2026年10月25日夕方：オファーに署名しました

有料エンドポイントが x402 オファーレシート拡張を宣言し、オファーに署名するようになりました。支払いなしでご自身でも確認できます：npx -y agent-receipt-verify https://x402.tokenizen.nl/api/bug-intel を実行すると、レベル2に達します（x402 の仕様どおりに支払いを求め、拡張を宣言し、オファーの署名が検証されます）。署名者は 0xf30b0706E78b3166745E6a2f351992321088058f です。この鍵はオファーとレシートにのみ署名し、資金は保有していません。オファーレシート仕様のセクション4.5.1の説明どおり、この鍵は DNS でサービスドメインに紐付けられています：dig TXT _controllers.x402.tokenizen.nl を実行すると、コントローラーとして登録されていることが確認できます（2026年10月25日に設定）。支払いを受け取るアドレスは、以下の支払いセクションに記載されています。

支払い後、有料リクエストへの応答には、その支払いトランザクションの署名付きレシートが含まれます。本文では receipt として、PAYMENT-RESPONSE ヘッダーではレベル3として返されます。これを実際の支払い1件で確認しました。Base メインネットで、プロジェクト自身のアドレスからサービスの支払い先アドレスへ 5.1 USDC を送金した自己テストです。レシート、トランザクション、提供されたレポート、およびそのすべてを検証するスクリプトは、results/2026-10-25-v31/first-real-payment/ にあります。まだ他の人はレシートを使っておらず、適合性チェッカーは支払いなしで検査するため、レベル3は未測定のままです。レシートが示すのは、当サービスがこのリソースに対するトランザクション X の支払いを確認したということです。レポートの品質については何も示しません。

更新、2026年10月25日：バージョン3.1が稼働中です

有料スキャンでは、新しいバージョン V3.1 が稼働しています。封印済みの実行と同じ8件のコンテストで、既知の High および Medium の脆弱性105件のうち8件（7.6％）を検出しました。これは以前のバージョンの4件、および10月25日の夕方まで本番環境で稼働していたスキャンの1件と比べた結果です：results/2026-10-25-v31/README.md。2つの変更を同時に行い、これらのコンテストはもはや秘密ではないため、これは低い水準からの倍増であり、証明にはなりません。105件のうち97件は依然として検出できませんでした。スキャンには約20～45秒かかり、コストは当サービス側で0.02～0.15ドルです。以前のバージョンはフォールバックとして引き続き利用できます。

更新、2026年10月24日夕方：封印済みの実行

封印済みデータセットでの実行を1回完了しました。実行前に定めたルールとともに、結果を公開しています：results/2026-10-24-sealed/README.md。ここで誰もスキャンを実行したことがない8件のコンテストで、現在稼働中のスキャンは既知の High および Medium の脆弱性105件のうち1件を検出しました。本番環境にはない新しいバージョンでは、105件のうち4件を検出しました。ルールでは、本番環境で検出できない脆弱性を少なくとも5件見つける必要がありましたが、見つかったのは3件だったため、本番環境は現状のままです。スキャンは引き続き、手作業で確認するための仮説を提示します。また、人間による監査で見つかるものを検出できることはまだ示されていません。

更新、2026年10月24日同日後刻：スキャンのバージョン2

以下に記載した欠陥を修正し、新しいバージョンを公開しました。変更点：github.com を参照する場合は Git サブモジュールを取得するようにしました。テスト、モック、スクリプト、インターフェース、ベンダーライブラリは除外されます。資金移動に関わる可能性が高いファイルを優先順位付けして、最大6つのパートに分けて送信します。各レポートには、対象コードのうちどの程度を読み取ったかを記載します。仮説がないスキャンは、通常のレポートとしてではなく、その旨を明記して提出します。コード内に存在しないファイル名や関数名を挙げた仮説は除外します。リポジトリ内のファイルへのリンクはたどりません。無料の事前チェック（https://x402.tokenizen.nl/api/bug-intel/precheck?repo=owner/name）では、料金を支払う前に、スキャン対象となる Solidity コードがリポジトリに含まれているか、またそのうちおよそどの程度を読み取るかを確認できます。

このバージョンの測定は、実行前に事前登録されました：PREREGISTRATION-v2-2026-10-24.md。凍結したファイルはこちらにあります。

結果はRESULTS-v2-2026-10-24.mdに記載しています。既知の High および Medium の脆弱性40件は、いずれも検出されませんでした。初回に使用した4つのコンテストでは31件中0件、新たに追加した3つのコンテストでは9件中0件でした。一方、対象コードの29％を読み取りました（コンテストごとに8～100％）。既知の脆弱性40件のうち15件は、読み取ったファイルに含まれていましたが、そのいずれも検出されませんでした。このスキャンは手動レビュー用の仮説を生成します。監査コンテストで評価対象となる問題を発見できることは、まだ示されていません。

訂正と制限（2026年10月24日、バージョン2より前）

2026年10月24日に本番環境のスキャンコードを確認したところ、このページの以前の記述は、有料スキャンの機能を過大に説明していたことが分かりました。現在の機能は次のとおりです。

• 1回のジョブでモデルに送信される Solidity ソースコードは最大約22,000文字です。ディレクトリ順で最大60ファイルが対象となり、テストやモックのフォルダーは除外されません。最近の監査コンテストのリポジトリ3件（code-423n4/2025-11-merkl、2025-11-sukukfi、2026-04-monetrix）では、Solidity ソースコードの3～7％に相当します。
• 7段階のゲートフィルターは有料スキャンには含まれていません。小型モデルも実際のバグを除外してしまうため、取り除きました。レポートには、自己申告の信頼度が0.4以上の生の仮説を最大8件まで記載します。免責事項にもその旨が記されています。
• 以下のサンプルは、このフレームワークの構築に使われたコーパスに含まれるリポジトリで実行されました。この結果から、スキャンが未確認のプロジェクトでどの程度機能するかは分かりません。また、「Al-Mizaan validation による CONFIRMED」というラベルは、現在のスキャンには当てはまりません。
• 未確認のコンテストでスキャンが実際のバグをいくつ見つけるかは、測定していません。クローズ済みの監査コンテストを使ったテストは、PREREGISTRATION-2026-10-24.mdに事前登録されています。ベースラインは2026年10月24日に実行され、31件中0件を検出しました。仮説は2件報告されましたが、どちらも該当せず、ジョブが1件失敗し、レポートが2件空でした。RESULTS-2026-10-24.mdを参照してください。変更したバージョンを事前登録して測定するまでは、このスキャンが未確認のプロジェクトでバグを見つけるものだと受け取らないでください。

公式情報：Bug Bounty Intelligence の公式なものは、このリポジトリと、以下の支払いセクションに記載された支払いアドレスのみです。掲載情報、返信、ウェブサイトに異なる支払いアドレスが記載されている場合、それは当方のものではありません。支払いの前に、以下のアドレスと照合してください。

Sherlock と Code4rena の105件のコンテストで提出された27,681件の指摘をもとにしています。 料金：フルスキャンは x402 経由で Base（eip155:8453）上の $5 USDC、クイックスキャンは $1 USDC です。 無料ツール：list_vulnerability_patterns。支払いは不要です。

list_vulnerability_patterns の受理率の数値は、Sherlock が公開した結果と正確に照合できたサブセットのみを対象に算出しています。対象は10件のコンテストにおける1,032件の指摘です。裏付けのない大きな数値を示すより、検証済みの数値を少なく示すことを選びました。その理由と再現方法については、METHODOLOGY.mdをご覧ください。

無料データセット：サーバー不要、MCP 不要、支払い不要

vulnerability-acceptance-rates.json は、list_vulnerability_patterns が提供するものと同じデータを静的ファイルとして収録しています。API 呼び出しも、アカウントも、ネットワーク依存も一切ありません。ダウンロードするか、ご自身のツールのルールセットにコピーしてください。CC0 ライセンスなので、用途は自由で、クレジット表記も任意です。

curl -sO https://raw.githubusercontent.com/holistis/bug-bounty-intelligence-mcp/main/vulnerability-acceptance-rates.json

ローカルファースト／オフライン対応のセキュリティスキャナーを構築していて、以下の有料 scan_contract ツールがプロジェクトのアーキテクチャに合わない場合でも、このファイル単体で役立つかもしれません。

有料機能なしでパターン検索だけを使いたい場合は、代わりに 3ilm-mcp をご利用ください

3ilm-mcp は、同じ検証済みデータセットから構築された、より小規模な無料専用の MCP サーバーです。有料プランはなく、パターン検索（search_vulnerabilities、get_pattern_details、list_patterns）だけを利用できます。有料の scan_contract スキャンも必要な場合はこのリポジトリ（bug-bounty-intelligence-mcp）を、無料の検索ツールだけを使いたい場合や、より軽量なパッケージを好む場合は 3ilm-mcp をご利用ください。

ワークフローの残りを補う、同じ Al-Mizaan ツールキットのツールがもう 2 つあります。al-mizaan-judge は、候補となる発見事項を提出する前に、同じ 7 ゲートのフレームワークで精査するローカル CLI です。DeFi Signal API は、MCP 以外で利用したい方向けに、同じ脆弱性検索／バグインテリジェンスのルートを従量課金制の HTTP API として提供します。

ベンチマーク：Slither との比較

ベンチマーク全文を見る →

3FLabs/grunt（ERC-4626 および Morpho ボルト、218 コントラクト）では、Slither は「High」の検出結果を 27 件報告します。分析の結果、24 件は lib/solady（対象範囲外の依存関係で、Slither の既知の誤検出パターンを含む）にあり、残り 3 件は EIP-712 の設計パターンでした。誤検出率は 100% です。

この比較では、Bug Bounty Intelligence の対象を src/ のみに指定しました。現在、有料スキャンではルールによりテスト、モック、スクリプト、インターフェース、ベンダー提供ライブラリを除外しています。7 ゲートのフィルターは実行しません。

また、同じ lib/solady のコードに関連する divide-before-multiply パターンについて、Slither プロジェクトに直接報告しました：crytic/slither#3039。メンテナーがその一部を修正する変更をマージしました（crytic/slither#3040）。その修正で対応できる範囲とできない範囲の正確な説明は BENCHMARK.md をご覧ください。元の報告では過剰な主張をしていました。

機能

Solidity のスマートコントラクトを含む公開 GitHub リポジトリを送信してください。コードのどの程度を読み取ったかを明記した、AI が生成した仮説のレポートが通常数分以内に届きます（このページ上部の更新情報と制限をご覧ください）。

ツール

ツール	説明	費用
scan_contract	セキュリティ分析のためにリポジトリを送信します	$5 USDC
get_scan_report	ステータスを確認し、レポート URL を取得します	無料
list_vulnerability_patterns	厳密に照合された Sherlock コンテストの受け入れ率を表示します	無料

クイックスタート（Claude Desktop / Claude Code）

リリース v0.1.11 時点で、PuPu の MCP ストアにも掲載されています（登録に関する Issue）。

claude_desktop_config.json に追加します：

{
  "mcpServers": {
    "bug-bounty-intelligence": {
      "command": "npx",
      "args": ["-y", "bug-bounty-intelligence-mcp@latest"]
    }
  }
}

または、直接実行します：

npx -y bug-bounty-intelligence-mcp@latest

支払い

scan_contract が PAYMENT REQUIRED を返した場合は、表示されたアドレスに Base で $5 USDC を正確に送金してから、再試行してください。支払いをもってサービス利用規約への同意とみなされます。

x402 情報：

• ネットワーク：Base メインネット（eip155:8453）
• 金額：5,000,000（= 5 USDC、小数点以下 6 桁）
• アセット：0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913（USDC）
• ウォレット：0x015Eb036560216B3051339061FF68A207E0fe88f

ウォレットアドレスは変更される場合があります。この README のコピーではなく、scan_contract が PAYMENT REQUIRED の応答で実際に返すアドレスに必ず送金してください。アドレスが変更されるとこの文書も更新されますが、正確な情報源は実際のツール応答です。

セッション例

> list_vulnerability_patterns({ protocol_type: "LENDING" })

Vulnerability patterns for LENDING protocols (from Sherlock audit findings, exact-reconciled contests only):

oracle-manipulation      36% accepted (131 cases)
liquidation              29% accepted (14 cases)
staleness                49% accepted (174 cases)
rounding                 40% accepted (63 cases)
flash-loan               46% accepted (13 cases)
access-control           47% accepted (74 cases)

> scan_contract({ repo_url: "https://github.com/myprotocol/contracts", protocol_type: "LENDING" })

PAYMENT REQUIRED to start the scan.

Amount:  5.00 USDC
Network: Base mainnet (eip155:8453)
Pay to:  0x015Eb036560216B3051339061FF68A207E0fe88f
Asset:   USDC — 0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913

After paying, retry scan_contract with the same repo_url.

スキャン出力の例

sherlock-audit/2025-03-crestal-network の実際のスキャン（デリバティブプロトコル、29 コントラクト）：

Summary: 0 Critical  |  1 High  |  0 Medium  |  0 Low
Analyzed: 29 contracts  |  Model: qwen2.5:7b  |  Duration: 25min

FINDING #1 — HIGH
Title:    Owner Can Arbitrarily Set Payment Addresses
File:     Blueprint.sol
Functions: setCreateAgentTokenCost, setUpdateCreateAgentTokenCost,
           addPaymentAddress, removePaymentAddress
Category: ACCESS

Description:
  The owner can arbitrarily set payment addresses and costs without
  any external validation or timelock.

Attack path:
  An attacker with ownership calls setCreateAgentTokenCost or
  addPaymentAddress to modify fees or redirect user payments to
  an attacker-controlled wallet.

Impact:
  Extremely high costs (griefing) or redirection of user funds.

Recommendation:
  Implement a governance mechanism or timelock to restrict fee
  and address changes.

Confidence: 0.90 (CONFIRMED by Al-Mizaan validation)

分析について

Al-Mizaan v3 フレームワークでは、7 つのゲートを定義しています。

1. コードの読み取り（ドキュメントではなく、コードそのもの）
2. 到達可能性の連鎖（エントリーポイントからエクスプロイトまで）
3. 脅威モデル（誰がトリガーできるか）
4. 不変条件の違反（どのルールに違反しているか）
5. プロトコルの意図（意図された動作か）
6. 影響（実際の金銭的損害）
7. 形式証明（再現可能な PoC）

これは手動レビュー（al-mizaan-judge CLI）で使用するフレームワークです。有料スキャンでは最初から最後まで実行されません。このページの冒頭にある訂正をご覧ください。

サービス情報

• API エンドポイント: https://x402.tokenizen.nl/api/bug-intel
• 無料の事前チェック: https://x402.tokenizen.nl/api/bug-intel/precheck?repo=owner/name
• 利用規約: https://x402.tokenizen.nl/terms
• 納期: 通常は 1 時間以内、利用規約に基づき最長 48 時間
• 失敗した場合、または役に立たなかった場合: 再試行または返金を希望する場合は、ジョブ ID を添えて [email protected] までご連絡ください。利用規約をご覧ください
• ソースコード: 分析後に削除されます

このプロジェクトを支援する

これは、私が余暇にメンテナンスしている無料のオープンソース MCP サーバーです。公開前に役立つ問題を検出できた場合は、チップをいただけるとうれしいです（もちろん任意です）。

0xdffcC75a674257be6FE1b5549FE52e8f8a6A3A5A（USDC、Base）