AI导哈

智能合约安全分析工具

SolanaShield是一个基于AI的智能合约安全分析工具，专门用于检测Solana程序中的安全漏洞。

  • by ElromEvedElElyon
  • JavaScript
  • 本地部署
  • 更新于
在 GitHub 查看 ElromEvedElElyon/solanashield-mcp

使用说明

SolanaShield MCP

通过模型上下文协议为Solana程序提供AI驱动的智能合约安全

SolanaShield 是一个专门的MCP服务器，为任何AI助手带来40多种Solana漏洞模式。它检测Anchor/Solana程序中的关键安全问题，包括缺少所有者检查、任意CPI、PDA混淆、整数溢出、可重入性等。

为 罗马斗兽场边境黑客马拉松 （2026年4月6日至5月11日）。

特性

  • 40种漏洞模式 --8临界、12高、12中、8低
  • 12个MCP工具 --全面审计、有针对性的检查、风险评分、修复生成
  • 零依赖 --纯静态分析，无需外部API
  • 索拉纳原住民 --每个模式都特定于Solana/Anchor程序
  • JSON输出 --CI/CD集成的机器可读结果

快速开始

npm install -g solanashield-mcp

或者克隆并构建：

git clone https://github.com/ElromEvedElElyon/solanashield-mcp.git
cd solanashield-mcp
npm install && npm run build

Claude桌面配置

添加 ~/.config/claude/claude_desktop_config.json:

{
  "mcpServers": {
    "solanashield": {
      "command": "node",
      "args": ["/path/to/solanashield-mcp/dist/index.js"]
    }
  }
}

MCP工具

工具 说明
audit-program 全面的安全审计，并对结果进行严重性排序
check-accounts 帐户验证（所有者、签名者、授权人）
check-cpi 跨程序调用安全分析
check-pda PDA种子混淆和碰撞存储检查
check-arithmetic 整数溢出/下溢和精度损失
check-tokens SPL代币授权、造币和冻结检查
risk-score 快速0-100分诊风险评分
list-patterns 浏览所有漏洞模式
explain-finding 详细的漏洞利用场景和补救措施
generate-fix 为发现自动生成代码修复
compare-versions 区分回归分析的两个代码版本
audit-json 用于编程的结构化JSON输出

漏洞类别

类别 图案 示例
访问控制 3 缺少所有者检查，缺少签名者
CPI安全 4 任意CPI、重入、特权升级
PDA安全 2 种子混淆，未储存
令牌安全 4 权限不匹配，造币/冻结权限
算术 2 整数溢出，精度损失
状态安全 5 重新初始化、关闭帐户、免租
DeFi 1 CPI闪借
Oracle安全 1 过时的价格信息
反序列化 2 类型角色扮演，不安全的反序列化
锚点 2 缺少约束，init_if_needed
DoS 1 无边界迭代
逻辑 1 时间戳依赖性
可观察性 2 缺少事件、缺少日志记录
优化 2 未使用的帐户，CU优化
代码质量 3 幻数、测试代码、缺少文档
配置 1 硬编码地址
错误处理 1 缺少错误上下文
维护 1 不推荐使用API

输出示例

Risk Score: 62/100 (HIGH)
Critical: 1 | High: 3 | Medium: 1 | Low: 3
Total findings: 8 across 19 lines

RECOMMENDATION: Do NOT deploy without fixing critical and high findings.

建筑

src/
  index.ts              # MCP server with 12 tool registrations
  patterns/
    solana-patterns.ts  # 40 vulnerability pattern definitions
  analyzers/
    static-analyzer.ts  # Pattern matching engine + report formatting

罗马斗兽场边境黑客马拉松

SolanaShield正在竞争 索拉纳边境黑客马拉松 （2026年4月6日至5月11日）：

  • 3万美元 总冠军+ 25万美元 种子前资金
  • 类别：安全/开发工具
  • 状态：注册和建筑

为什么选择SolanaShield？

在没有安全审计的情况下部署的每个Solana程序都是一个潜在的漏洞。SolanaShield通过MCP直接集成到每个开发人员的AI工作流程中，使每个开发人员都可以访问安全性。没有昂贵的审计公司，没有等待数周的时间——即时安全分析。

路线图

  • [x] 40种脆弱性模式（8种严重，12种高度）
  • [x] 12个MCP工具
  • [x] 发布于npm(solanashield-mcp)
  • [x] x402按审核服务器付费
  • []实时监控（观察部署的程序）
  • []锚定IDL解析
  • []多程序分析（CPI链）
  • []VS代码扩展名
  • []CI/CD GitHub操作

许可证

麻省理工学院

作者

帕德劳比特币 — standardbitcoin.io@gmail.com

相关 MCP