Kestrova: Solidity Vulnerability Scan

Name: Kestrova: Solidity Vulnerability Scan
Author: som2026-commits

远程服务

github.com安全03 天前更新

代码仓库访问官网

关于 Kestrova: Solidity Vulnerability Scan

Kestrova 将 Agent 技能与远程 MCP 服务结合，使用 Slither 扫描 Solidity 合约。编码 Agent 可获取免费预览，并在明确批准后选择付费的逐行报告。

主要功能

01免费 Slither 预览及严重级别计数
02可选付费报告，含文件和行号
03免费查询价格与付款详情
04付款前需明确批准
05临时处理源码，不存储或记录

适用场景

01编码期间检查 Solidity 改动
02部署前审查合约
03根据源码位置查看发现的问题

MCP 相关

远程 MCP 服务向 MCP 客户端提供 `scan_solidity_preview`、`scan_solidity_full` 和 `payment_terms`。技能会引导支持的编码 Agent 执行检查；单独使用 MCP 服务时，检查可能不会自动触发。

配置

远程服务无需本地安装。选择你使用的客户端，复制配置或使用一键安装。

服务地址https://kestrova.onrender.com/mcp?src=registry

一键复制安装命令

Claude CodeTerminalclaude mcp add --transport http som2026-commits-kestrova https://kestrova.onrender.com/mcp?src=registry

Cursor.cursor/mcp.json{"mcpServers":{"som2026-commits-kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}在 Cursor 中打开

VS Code.vscode/mcp.json{"servers":{"som2026-commits-kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}在 VS Code 中打开

Claude Desktopclaude_desktop_config.json{"mcpServers":{"som2026-commits-kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}

Windsurf~/.codeium/windsurf/mcp_config.json{"mcpServers":{"som2026-commits-kestrova":{"serverUrl":"https://kestrova.onrender.com/mcp?src=registry"}}}

命令在终端中运行；JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。

工具

详细介绍

Kestrova：面向编码 Agent 的 Solidity 安全审查

一项 Agent 技能加上远程 MCP 服务。当你的编码 Agent 编写、修改或准备部署 Solidity 合约时，它会运行一次免费的 Slither 静态分析预览，以不过度夸大的方式解释结果，并且只有在你批准价格后，才提供可选的付费逐行报告。

安装（任选一种）

Agent	命令
Claude Code（插件：技能 + MCP）	`/plugin marketplace add som2026-commits/kestrova-solidity-security` then `/plugin install solidity-security-review@kestrova`
支持技能（SKILL.md）的任何 Agent	`npx skills add som2026-commits/kestrova-solidity-security --skill solidity-security-review`
仅 MCP（任何 MCP 客户端）	远程 Streamable HTTP 服务 `https://kestrova.onrender.com/mcp?src=registry`（Claude Code：`claude mcp add --transport http kestrova "https://kestrova.onrender.com/mcp?src=skill"`）

在我们的测试中，仅使用 MCP 服务的 Agent 不会在未经提示时运行检查；让它们运行检查的正是这项技能。

功能

scan_solidity_preview（免费，无需密钥）：严重程度计数，以及 High/Medium 检测器名称。
scan_solidity_full（付费，可选）：列出每项发现及其检测器、影响、置信度和文件/行号位置。通过 x402 使用你自己的 Solana 钱包工具以 USDC 按次付费；仅在扫描成功时收费。这项技能禁止在未经你明确批准的情况下付款，并且绝不处理密钥。
payment_terms（免费）：当前价格和付款详情。

限制（请阅读）

这是自动模式检测（Slither），不是审计。结果干净并不意味着合约安全。以下内容不在检查范围内：业务逻辑、经济／预言机／MEV 攻击、访问控制意图、升级和管理员密钥风险、未发送的代码、部署配置。任何涉及价值的内容都应采用专业审计和测试。

隐私

你发送的源代码会在临时目录中扫描；每次扫描后，该目录都会被删除。服务不会存储或记录这些源代码。服务的使用日志会记录路由、状态、客户端类型和 src 安装渠道标签，但绝不会记录 IP 地址或源代码（IP 地址仅保存在内存中，用于速率限制）。托管服务提供商（Render、Cloudflare）可能会保留各自的标准请求日志。

内容

.claude-plugin/marketplace.json（市场），solidity-security-review/（插件：.claude-plugin/plugin.json、 .mcp.json、skills/solidity-security-review/SKILL.md）。不含服务端代码。

许可证：MIT（参见 LICENSE）。

支持 Markdown

登录后评论