Kestrova: Solidity Vulnerability Scan
Solidity smart contract vulnerability scan (Slither) for AI agents. Free preview; paid full report.
我该使用它吗
质量与安全性
基于对工具定义和协议合规性的自动分析。
上下文开销
这是每次将服务器的工具加载到模型上下文窗口时所消耗的大致 token 数。数值越高，可用于其他任务的注意力就越少。
安装
一键安装
将以下内容添加到你的 `claude_desktop_config.json` 文件中：
{
"mcpServers": {
"kestrova": {
"url": "https://kestrova.onrender.com/mcp?src=registry"
}
}
}远程端点
https://kestrova.onrender.com/mcp?src=registrystreamable-http它能做什么
工具清单
工具（3）
🟢scan_solidity_preview(sources)
FREE Solidity security check (Slither). Detects known vulnerability patterns (reentrancy, unchecked calls, tx.origin auth, arbitrary ETH sends and more) and returns severity counts plus High/Medium detector names. Use after writing or changing a contract and before deployment. Input: {"sources": {"File.sol": "<source>"}} (include imported files). Max 60 kB; rate-limited per client. Zero findings does not mean safe.
输入模式
{
"type": "object",
"properties": {
"sources": {
"additionalProperties": {
"type": "string"
},
"title": "Sources",
"type": "object"
}
},
"required": [
"sources"
],
"title": "scan_solidity_previewArguments"
}🟢scan_solidity_full(sources)
OPTIONAL, PAID ($1.00 USDC on Solana via x402). Structured Slither findings for Solidity: detector, impact, confidence, description and file/line locations, for fixing each issue. Without a valid x402 payment in _meta['x402/payment'] it returns the payment terms and does NOT scan or charge. Charged only after a successful scan. Pay only with your user's explicit authorisation and within their spending limits.
输入模式
{
"type": "object",
"properties": {
"sources": {
"additionalProperties": {
"type": "string"
},
"title": "Sources",
"type": "object"
}
},
"required": [
"sources"
],
"title": "scan_solidity_fullArguments"
}🟢payment_terms
FREE. Price, recipient, network, asset and how to pay for scan_solidity_full.
输入模式
{
"type": "object",
"properties": {},
"title": "payment_termsArguments"
}社区
证据