
Kestrova: Solidity Vulnerability Scan
io.github.som2026-commits由 GitHub 账号 som2026-commits 发布v0.4.0更新于 Oct 31, 2026
Solidity vulnerability scan (Slither) for AI agents. Free preview; full report 1 USDC on Solana x402
发布方自己的服务:scan.mx Email Diagnostics
概览
远程 MCP 服务器,用 Slither 对 Solidity 合约做静态分析,提供免费严重级别预览和付费详细报告。
- 可以做什么
- 对 Solidity 合约运行免费的 Slither 扫描,返回各严重级别的数量以及触发的 High/Medium 检测器名称
- 可选请求付费完整报告,列出每条发现及其行号位置
- 在付费扫描前查看付款条款
- 适用于助手编写、修改或准备部署合约时的安全检查
- 适用场景
- 适合在助手编写、修改或准备部署 Solidity 合约时做快速的自动化模式检查,或在需要逐行发现列表并愿意付费时使用。
- 运行要求
- 需要远程 streamable HTTP 端点;未声明 API 密钥或环境变量。免费预览无需其他条件。完整报告需通过 x402 在 Solana 上支付 1 USDC,需要已充值的钱包和用户授权。
安装
在 SourceWeft 中
- 打开 控制台中的 Kestrova: Solidity Vulnerability Scan,将其添加到工作区。
- 为需要使用其工具的对话启用该服务。
Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。
交给智能体安装
把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。
阅读 https://sourceweft.com/mcp/io.github.som2026-commits%2Fkestrova/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。其他 MCP 客户端
把它添加到你客户端的 mcpServers 配置中。
{
"mcpServers": {
"kestrova-solidity-vulnerability-scan": {
"type": "http",
"url": "https://kestrova.onrender.com/mcp?src=registry"
}
}
}README
该仓库没有 README。
工具
0版本历史
2- v0.4.0最新Oct 31, 2026
- v0.3.0Oct 26, 2026
评分
已满足适用检查项的 70%
该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。
- 近 30 天内可连通必需25 分
- 已声明认证方式必需10 分
- 已列出工具必需15 分
请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。
- 描述必需15 分
- 图标10 分
- 文档15 分
请声明包含 README 的 GitHub 仓库,或在 OAuth 受保护资源元数据中提供 resource_documentation。
- 许可证10 分
其他 Scan 集成
scan.mx Email Diagnostics
mx.scan官方发布者
远程 MCP 服务器,让助手对域名执行带评级的邮件送达率与 DNS 检查,涵盖 MX、SPF、DKIM、DMARC、黑名单等。
MTG Trade Scan
fr.mtg-trade
扫描万智牌卡册照片:上传页面图片并生成扫描任务,每天有免费页数,超出后按页付费。

mcp-guard
由 GitHub 账号 diegoperezg7 发布
面向 MCP 服务器的安全扫描器,检查工具投毒、工具遮蔽、权限过大、密钥泄露和传输层缺陷。

PredictionScan
由 GitHub 账号 JordanKarst 发布
衍生预测市场资金流、价格变动、交易者研究与新闻。11个只读工具。AI 翻译

x402-sec-scan
由 GitHub 账号 6mickswagger9 发布
本地 stdio MCP 服务器,为 AI 代理提供 x402 付费 API,通过 CDP facilitator 在 Base 上以 USDC 结算。