Kestrova: Solidity Vulnerability Scan
Solidity smart contract vulnerability scan (Slither) for AI agents. Free preview; paid full report.
Should I use this
Quality & Safety
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"kestrova": {
"url": "https://kestrova.onrender.com/mcp?src=registry"
}
}
}Remote endpoints
https://kestrova.onrender.com/mcp?src=registrystreamable-httpWhat it can do
Tool inventory
Tools (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.
Input Schema
{
"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.
Input Schema
{
"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.
Input Schema
{
"type": "object",
"properties": {},
"title": "payment_termsArguments"
}Community
Evidence