mcpField
C
contract-security-scanner

contract-security-scanner

本地服务
github.com/mastrophot安全032 周前更新

关于 contract-security-scanner

contract-security-scanner 是用于智能合约启发式安全扫描的 MCP 服务,侧重 NEAR 安全背景。它支持 Solidity、Rust 和 TypeScript,并报告包含严重性、类型和行号的发现。

主要功能

  1. 01扫描 Solidity、Rust 和 TypeScript
  2. 02检测五类启发式风险模式
  3. 03报告严重性、类型和行号
  4. 04提供安全及 NEAR 等效评分
  5. 05提供 NEAR 专项说明和建议

适用场景

  1. 01检查合约中的常见安全风险
  2. 02按语言比较安全模型
  3. 03使用特定语言的审计清单

MCP 相关

向 MCP 客户端提供 `scan_contract`、`compare_security_models` 和 `audit_checklist` 工具。扫描结果包含漏洞发现及 NEAR 安全相关信息。

配置

本地服务的配置在各客户端中通用,复制后粘贴到客户端的 MCP 配置文件即可。

mcp.json · 通用配置
{
"mcpServers": {
"mastrophot-contract-security-scanner": {
"command": "npx",
"args": [
"-y",
"mcp-contract-security"
]
}
}
}
启动命令npx -y mcp-contract-security

本地服务需要在你的电脑上安装运行环境(如 Node.js 18+)。各客户端的配置文件位置不同,请参考客户端文档。

安装包
npmmcp-contract-security0.1.1

工具

3

收录的工具列表 · 更新于 2 周前

参数类型必填说明
codestring是
languageenum是rust | solidity | typescript

详细介绍

mcp-contract-security

用于智能合约安全扫描的 MCP 服务。

实现了以下必需工具:

  • scan_contract
  • compare_security_models
  • audit_checklist

支持的语言:

  • solidity
  • rust
  • typescript

检查内容

scan_contract 当前可通过启发式模式检测以下问题:

  • 重入
  • 整数溢出/下溢风险
  • 访问控制问题
  • 抢先交易风险
  • 预言机操纵风险

输出包括:

  • 含严重性/类型/行号的漏洞列表
  • security_score
  • near_equivalent_score
  • NEAR 专属安全说明和建议

安装

npm install -g mcp-contract-security

已发布的软件包:

MCP 配置(Claude Desktop)

{
  "mcpServers": {
    "contract-security": {
      "command": "mcp-contract-security"
    }
  }
}

工具用法

scan_contract

输入:

{
  "code": "contract source code here",
  "language": "solidity"
}
compare_security_models

输入(可选):

{
  "language": "solidity"
}
audit_checklist

输入(可选):

{
  "language": "rust"
}

本地开发

npm install
npm run check

交付资源

其他发布资源已准备在 deliverables/ 中:

  • deliverables/mcp-registry-submission.md
  • deliverables/security-subreddit-posts.md
  • deliverables/blog-why-near-contracts-safer.md
  • server.json(MCP Registry 元数据,已通过架构验证)

许可证

MIT

评论

支持 Markdown

第一次接触 MCP?

从协议是什么,到在客户端里装上第一个服务,这几条回答覆盖了大多数入门问题。

一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。