holistis/bug-bounty-intelligence-mcp
GitHub: holistis/bug-bounty-intelligence-mcp
基于真实审计数据训练的 MCP 服务，为 Solidity 智能合约提供 AI 驱动的多层级安全分析与漏洞报告。
Stars: 0 | Forks: 0
# 漏洞赏金情报 — MCP Server
面向 AI agent 和开发者的 AI 驱动的智能合约安全分析。
**基于 Sherlock 和 Code4rena 的 27,681 条真实审计发现进行训练。**
**费用：通过 x402 在 Base (eip155:8453) 上支付 5 USDC。**
**免费工具：`list_vulnerability_patterns` — 无需付费。**
## 功能说明
提交一个包含 Solidity 智能合约的公开 GitHub repo。在 24 小时内获取完整的漏洞报告，由 Al-Mizaan v3 分析框架提供支持。
## 工具
| 工具 | 描述 | 费用 |
|------|-------------|------|
| `scan_contract` | 提交 repo 进行安全分析 | $5 USDC |
| `get_scan_report` | 轮询状态并获取报告 URL | 免费 |
| `list_vulnerability_patterns` | 显示来自 2.7 万条发现的历史接受率 | 免费 |
## 快速开始 (Claude Desktop / Claude Code)
添加到你的 `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，然后重试。付款即表示接受[服务条款](https://wazir-x402.duckdns.org/terms)。
**x402 信息：**
- 网络：Base mainnet (eip155:8453)
- 金额：5,000,000（= 5 USDC，6 位小数）
- 资产：0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913 (USDC)
- 钱包：0xdffcC75a674257be6FE1b5549FE52e8f8a6A3A5A
## 示例会话
```
> list_vulnerability_patterns({ protocol_type: "LENDING" })
Vulnerability patterns for LENDING protocols (from 27,681 real audit findings):
oracle-manipulation 53% accepted (3253 cases)
liquidation 53% accepted (2502 cases)
staleness 45% accepted (5838 cases)
rounding 51% accepted (2615 cases)
flash-loan 53% accepted (512 cases)
access-control 51% accepted (2480 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
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）
只有通过全部 7 个关卡的发现才会被报告。
## 服务信息
- **API endpoint**：https://wazir-x402.duckdns.org/api/bug-intel
- **条款**：https://wazir-x402.duckdns.org/terms
- **交付**：24 小时内
- **源代码**：分析后删除
标签：Base网络, MCP服务, Solidity, Web3安全, 人工智能, 智能合约审计, 用户模式Hook绕过, 自定义脚本