Bug Bounty Intelligence

漏洞赏金情报：MCP 服务

为 AI Agent 和开发者提供 AI 驱动的智能合约安全分析。

我们所有后来被证实有误的公开声明，都连同日期和修正内容列在 ERRATA.md 中。结果背后的计数规则见 MEASUREMENT-RULE-two-judge-strict.md。

更新，2026 年 10 月 25 日，夜间：扫描旁边的两个免费工具

我们在相同的竞赛中使用默认设置运行了 Slither 0.11.6 和 Aderyn 0.6.8，并让相同的两位评审将它们的输出与已知的 High 和 Medium 级发现进行比较。它们均未找到任何发现：在我们的环境能够运行它们的竞赛中，Slither 找到 0/34，Aderyn 找到 0/70。在相同的竞赛中，我们的扫描在前 15 条假设中找到了 6/34 和 10/70。静态工具并非为竞赛所奖励的业务逻辑漏洞而设计；较早的竞赛可能已包含在我们扫描背后模型的训练数据中；而评审使用的是语言模型，因此应将其视为描述，而非排名：results/2026-10-25-free-tools/README.md。

更新，2026 年 10 月 25 日，夜间：1 美元快速扫描

现在有两种价格。快速扫描通过 POST https://x402.tokenizen.nl/api/bug-intel-quick 支付 Base 上的 1 USDC，可返回模型最有把握的 15 条假设。完整扫描通过 POST https://x402.tokenizen.nl/api/bug-intel 支付 5 USDC，另外提供 15 条置信度较低的假设。两者使用相同的引擎，生成相同类型的报告。我们测得的命中率（105 条中命中 8 条，66 条中命中 5 条）针对的是前 15 条假设，因此对应快速扫描；第二份列表是完整扫描额外提供的内容。快速扫描的费用恰好为 1 美元，因为官方 x402 客户端会拒绝每笔超过 1 美元的付款，除非其所有者提高限额；我们通过实际购买验证，使用默认设置的 Agent 可以购买：results/2026-10-25-v31/quick-scan-purchase/README.md。两个端点都会对报价进行签名。

更新，2026 年 10 月 25 日，夜间：标准 x402 客户端现在可以购买扫描

直到今天，扫描端点只接受你手动支付后获得的交易哈希；对于标准 x402 客户端发送的签名授权，它会返回 400，尽管其 402 响应声称这种方式可行。这个问题现已修复。一个标准客户端（@x402/fetch 2.28.0）使用一次性地址购买了扫描，收到了响应中的收据，且收据上的六项检查均通过：results/2026-10-25-v31/standard-client-purchase/README.md。这是一次使用我们自己的资金进行的自测，仅购买了一次。买家需要了解一点：官方客户端会拒绝每笔超过 1 美元的付款，除非其所有者提高限额；而扫描费用为 5 美元。

更新，2026 年 10 月 25 日，夜间：对过去一年竞赛的扫描结果

我们按照事先写明的结果解读规则，对 2025 年 9 月至 2026 年 3 月的 9 场 Code4rena 竞赛进行了扫描（其中共有 66 个已知的 High 和 Medium 级发现）。报告的前 15 条假设命中了其中 5 条（7.6%），前 30 条命中了 8 条（12.1%）。这与 8 场 Sherlock 竞赛的命中率相同，因此按我们自己的规则，结果在较新的竞赛中仍然成立。但命中率依然偏低：66 个已知发现中有 58 个不在前 15 条里。数字、评审结果、完整列表和局限性：results/2026-10-25-c4-fresh/README.md。

报告现在最多可展示 30 条假设，分成两个列表：模型最有把握的 15 条，以及另外 15 条置信度较低的假设。在已保存的列表中，第二个列表包含了第一个列表未涵盖的 8 个已知发现（Sherlock 上为 5 个，Code4rena 上为 3 个），但精确率略低。我们是在看到数字之后才作出这一选择的，因此这是产品决策，而非预先注册的测试。

更新，2026 年 10 月 25 日晚：报价已签名

付费端点现在声明了 x402 报价收据扩展，并对报价进行签名。你无需付费即可自行检查：npx -y agent-receipt-verify https://x402.tokenizen.nl/api/bug-intel 达到第 2 级（按 x402 的规定要求付款、声明扩展，并且报价签名验证通过）。签名者为 0xf30b0706E78b3166745E6a2f351992321088058f。该密钥仅用于签署报价和收据，不持有任何资金。密钥通过 DNS 绑定到服务域名，方式如报价收据规范第 4.5.1 节所述：dig TXT _controllers.x402.tokenizen.nl 会将其列为控制者（于 2026 年 10 月 25 日设置）。接收付款的地址见下方付款部分。

付款后，付费请求的响应会携带该笔付款交易的签名收据，既包含在正文的 receipt 中，也包含在 PAYMENT-RESPONSE 标头中（第 3 级）。我们已在一笔真实付款中看到这一点：这是在 Base 主网上进行的自测，项目自己的地址向服务的付款地址支付了 5.1 USDC。收据、交易、交付的报告以及用于检查所有这些内容的脚本，均位于 results/2026-10-25-v31/first-real-payment/。目前还没有其他人使用过该收据，而符合性检查器仍显示第 3 级尚未测量，因为它会在不付款的情况下进行检查。收据只能说明我们的服务看到了资源对应的付款交易 X，并不说明报告的质量如何。

更新，2026 年 10 月 25 日：3.1 版已上线

付费扫描现使用更新的 V3.1 版。在与封存测试相同的 8 个竞赛中，它发现了 105 个已知高危和中危问题中的 8 个（7.6%）；此前版本发现了 4 个，而截至 10 月 25 日晚仍在生产环境中运行的扫描只发现了 1 个：results/2026-10-25-v31/README.md。有两项变更同时发生，而且这些竞赛已不再保密，因此这只是从较低水平翻了一番，并不能证明什么。仍有 105 个问题中的 97 个未被发现。一次扫描约需 20 到 45 秒，成本为 0.02 到 0.15 美元。早期版本仍作为后备方案保留。

更新，2026 年 10 月 24 日晚：封存测试

针对封存数据集的一次测试已经完成，测试规则在测试前就已写明：results/2026-10-24-sealed/README.md。在这里从未有人运行过任何程序的 8 个竞赛中，当前扫描版本发现了 105 个已知高危和中危问题中的 1 个。一个尚未投入生产的新版本发现了 105 个中的 4 个。规则要求至少发现 5 个生产版本未能发现的问题，实际只发现了 3 个，因此生产版本保持不变。扫描仍会生成需要人工审核的假设，而且尚未证明它能发现人工审计发现的问题。

更新，2026 年 10 月 24 日，当天稍晚：扫描的第 2 版

下文所述缺陷已修复，新版本现已上线。变更内容：当 Git 子模块指向 github.com 时会获取这些子模块；测试、模拟对象、脚本、接口和供应商库不会纳入扫描；文件会按其可能影响资金流动的程度排序，并分成最多六部分发送；每份报告都会说明读取了多少范围内代码；没有假设的扫描会如实标明，而不会作为普通报告交付；提及代码中不存在的文件或函数的假设会被剔除；并且绝不会跟进仓库内的文件链接。访问 https://x402.tokenizen.nl/api/bug-intel/precheck?repo=owner/name，即可免费预检，了解扫描是否会统计你仓库中的 Solidity 代码，以及大致会读取多少代码，然后再决定是否付费。

此版本的测量方案已在运行前预注册：PREREGISTRATION-v2-2026-10-24.md。冻结的文件位于 pipeline/v2。

结果见 RESULTS-v2-2026-10-24.md：40 个已知的 High 和 Medium 级问题无一被发现；首轮的四场竞赛中，31 个问题里发现 0 个；三场新竞赛中，9 个问题里发现 0 个；而范围内代码仅有 29% 被读取（每场竞赛为 8% 到 100%）。40 个已知问题中有 15 个位于已读取的文件中，但其中没有一个被发现。扫描会生成供人工审查的假设。目前尚未证明它能发现审计竞赛所奖励的问题。

更正与限制（2026 年 10 月 24 日，第 2 版发布前）

2026 年 10 月 24 日，对生产扫描代码的审查表明，此页面先前的文字夸大了付费扫描的能力。它目前的实际运作方式如下：

• 每个任务最多向模型发送约 22,000 个字符的 Solidity 源代码，内容按目录顺序从最多 60 个文件中选取，并且不会跳过测试或模拟对象目录。在最近的三场审计竞赛仓库（code-423n4/2025-11-merkl、2025-11-sukukfi 和 2026-04-monetrix）中，这相当于 3% 到 7% 的 Solidity 源代码。
• 7 道关卡的过滤器不属于付费扫描。由于小型模型也会排除真实漏洞，因此已将其移除。报告会列出自报置信度为 0.4 或更高的原始假设，最多八条，并在免责声明中说明这一点。
• 下方示例是在该框架构建时所用语料库中的一个仓库上运行的。它无法说明扫描对未见过的项目效果如何，而且“经 Al-Mizaan 验证后确认”的标注并不适用于当前运行的扫描。
• 我们尚未测量扫描在未见过的竞赛中能发现多少真实漏洞。针对已结束审计竞赛的测试已预注册，见 PREREGISTRATION-2026-10-24.md。基准测试于 2026 年 10 月 24 日运行：31 个问题中发现 0 个，报告了 2 条假设，但两条均不匹配；一个任务失败，另有两份报告为空。详见 RESULTS-2026-10-24.md。在新版本经过预注册和测量之前，请勿将此扫描视为能在未见过的项目中发现漏洞的工具。

官方来源：此仓库以及下方付款部分中的付款地址是 Bug Bounty Intelligence 唯一的官方来源。如果某个列表、回复或网站提供了不同的付款地址，那就不是我们的地址。付款前请核对地址是否与下方地址一致。

基于 105 场 Sherlock 和 Code4rena 竞赛中提交的 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 工具包中还有两个工具，可用于工作流的其他环节：al-mizaan-judge 是一个本地命令行工具，可在提交候选发现之前，通过相同的 7 道关卡框架对其进行压力测试；DeFi Signal API 则将相同的漏洞搜索／漏洞情报路由作为按次付费的 HTTP API 提供，适合希望在 MCP 之外使用这些功能的用户。

基准测试：与 Slither 对比

查看完整基准测试 →

在 3FLabs/grunt（ERC-4626 + Morpho 金库，218 个合约）上，Slither 报告了 27 个“High”级发现。分析后发现：其中 24 个位于 lib/solady（属于范围外的依赖项，且存在已知的 Slither 误报模式），另外 3 个属于 EIP-712 设计模式。误报率：100%。

在该次对比中，Bug Bounty Intelligence 仅扫描了 src/。现在，付费扫描会按规则排除测试、模拟对象、脚本、接口和 vendored 库。它不会运行 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 商店中（收录请求）。

添加到你的 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

钱包地址可能会变更。请务必向 scan_contract 在 PAYMENT REQUIRED 响应中实际返回的地址付款，而不要使用本 README 中的地址副本。地址变更时会更新本文档，但实时工具响应才是准确信息来源。

示例会话

> 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
• 交付时间：通常在一小时内，依据条款，最长为 48 小时
• 如果失败或没有帮助：请将任务 ID 发送至 [email protected]，以便重新尝试或退款，详情参见条款
• 源代码：分析后删除

支持此项目

这是一个免费的开源 MCP 服务，由我利用业余时间维护。如果它在你发布之前发现了有用的问题，欢迎打赏，我会很感激（但绝不强求）：

0xdffcC75a674257be6FE1b5549FE52e8f8a6A3A5A（USDC，Base）