Free Slither scan of Solidity contracts for AI coding agents; optional paid report (1 USDC, x402).
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
FREE. Price, recipient, network, asset and how to pay for scan_solidity_full.
This tool takes no arguments.
Pick your client. Values in capitals, like YOUR_TOKEN, are yours to fill in.
Run in a terminal
claude mcp add --transport http kestrova 'https://kestrova-api.onrender.com/mcp?src=registry'
FREE. Price, recipient, network, asset and how to pay for scan_solidity_full.
No arguments.
{
"type": "object",
"title": "payment_termsArguments",
"properties": {}
}OPTIONAL, PAID ($1.00 USDC via x402 on Base or Solana). 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.
| Argument | Type | Description |
|---|---|---|
| sources* | object |
{
"type": "object",
"title": "scan_solidity_fullArguments",
"required": [
"sources"
],
"properties": {
"sources": {
"type": "object",
"title": "Sources",
"additionalProperties": {
"type": "string"
}
}
}
}FREE Solidity security check (Slither static analysis), no key and no wallet. Detects known vulnerability patterns (reentrancy, unchecked calls, tx.origin authorisation, arbitrary ETH sends, unprotected functions 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). Up to 15 KB / 10 files; rate-limited per client. Zero findings does not mean safe.
| Argument | Type | Description |
|---|---|---|
| sources* | object |
{
"type": "object",
"title": "scan_solidity_previewArguments",
"required": [
"sources"
],
"properties": {
"sources": {
"type": "object",
"title": "Sources",
"additionalProperties": {
"type": "string"
}
}
}
}We read every tool's name, description and inputs the way the model will, looking for instructions hidden from you. A clean result means no warning signs, not a guarantee. Scanned Nov 13, 2026.