内容
# Bug Bounty Intelligence — MCP 服务器
由 AI 驱动的智能合约安全分析，适用于 AI 代理和开发者。
**从 105 个 Sherlock 和 Code4rena 竞赛中提交的 27,681 个发现中提取。**
**费用：5 美元 USDC（Base 网络，eip155:8453），通过 x402。**
**免费工具：`list_vulnerability_patterns` — 无需支付。**
`list_vulnerability_patterns` 的接受率数据仅从可以精确核对的 10 个竞赛的 1,032 个发现中计算。我们宁愿显示较少但经过验证的数据，也不愿显示更大但无法验证的数据集。详见 [METHODOLOGY.md](METHODOLOGY.md) 了解原因和操作方法。
## 免费数据集 — 无需服务器、无需 MCP、无需支付
[`vulnerability-acceptance-rates.json`](vulnerability-acceptance-rates.json) 是 `list_vulnerability_patterns` 提供的相同数据，以静态文件的形式存在。无需 API 调用、无需账户、无需网络依赖 — 直接下载或复制到您自己的工具规则集中。CC0 许可，您可以任意使用，信用可选。
```bash
curl -sO https://raw.githubusercontent.com/holistis/bug-bounty-intelligence-mcp/main/vulnerability-acceptance-rates.json
```
如果您正在构建本地或离线安全扫描器，而付费的 `scan_contract` 工具不适合您的项目架构，此文件可能仍然单独有用。
## 基准测试：对比 Slither
**[查看完整基准测试 →](BENCHMARK.md)**
在 3FLabs/grunt（ERC-4626 + Morpho 金库，218 个合约）上：Slither 报告 27 个“高风险”发现。分析后：24 个在 `lib/solady`（超出范围的依赖项，具有已知的 Slither 误报模式），3 个是 EIP-712 设计模式。误报率：**100%**。
Bug Bounty Intelligence 仅限于 `src/` 目录，并通过 Al-Mizaan 7 关框架过滤后才报告发现。
## 功能
提交一个包含 Solidity 智能合约的公共 GitHub 仓库。在 24 小时内接收一份完整的安全漏洞报告，由 Al-Mizaan v3 分析框架提供支持。
## 工具
| 工具 | 描述 | 费用 |
|------|-------------|------|
| `scan_contract` | 提交仓库进行安全分析 | 5 美元 USDC |
| `get_scan_report` | 查询状态并获取报告 URL | 免费 |
| `list_vulnerability_patterns` | 显示从精确核对的 Sherlock 竞赛中提取的接受率 | 免费 |
## 快速入门（Claude Desktop / Claude Code）
将以下内容添加到您的 `claude_desktop_config.json` 中：
```json
{
"mcpServers": {
"bug-bounty-intelligence": {
"command": "npx",
"args": ["-y", "bug-bounty-intelligence-mcp@latest"]
}
}
}
```
或直接运行：
```bash
npx -y bug-bounty-intelligence-mcp@latest
```
## 支付
如果 `scan_contract` 返回 `PAYMENT REQUIRED`，请向显示的地址发送确切的 5 美元 USDC，然后重试。支付 = 接受 [服务条款](https://wazir-x402.duckdns.org/terms)。
**x402 信息：**
- 网络：Base 主网（eip155:8453）
- 金额：5,000,000（= 5 USDC，6 小数位）
- 资产：0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913（USDC）
- 钱包：0xdffcC75a674257be6FE1b5549FE52e8f8a6A3A5A
## 示例会话
```
> list_vulnerability_patterns({ protocol_type: "LENDING" })
LENDING 协议的漏洞模式（仅限精确核对的 Sherlock 竞赛）：
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: 0xdffcC75a674257be6FE1b5549FE52e8f8a6A3A5A
Asset: USDC — 0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913
支付后，请使用相同的 repo_url 重试 scan_contract。
```
## 扫描输出示例
`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）
只有通过所有 7 个关卡的发现才会被报告。
## 服务信息
- **API 端点**：https://wazir-x402.duckdns.org/api/bug-intel
- **条款**：https://wazir-x402.duckdns.org/terms
- **交付**：24 小时内
- **源代码**：分析后删除
