MCP server
Kestrova: Solidity Vulnerability Scan
io.github.som2026-commits/kestrova
Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools
Solidity smart contract vulnerability scan (Slither) for AI agents. Free preview; paid full report.
Working at last checkAbout 437 tokens per request once connected3 tools
https://kestrova.onrender.com/mcp?src=registry
At a glance
- Type
- MCP server
- Publisher
- Not verified
- Status
- Working at last check
- Tools
- 3
- Token cost
- About 437 tokens per request
- Sets up in
- Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok
- Last checked
- 26 Oct 2026, 08:29 UTC
Connect it to your agent
Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.
Claude Code
claude mcp add --transport http kestrova https://kestrova.onrender.com/mcp?src=registry
Claude Desktop
Settings → Connectors → Add custom connector, and paste the URL.
Codex (config.toml)
[mcp_servers.kestrova] url = "https://kestrova.onrender.com/mcp?src=registry"
Gemini CLI
{"mcpServers":{"kestrova":{"httpUrl":"https://kestrova.onrender.com/mcp?src=registry"}}}
Cursor
{"mcpServers":{"kestrova":{"url":"https://kestrova.onrender.com/mcp?src=registry"}}}
VS Code
{"servers":{"kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}
Antigravity
agy mcp add kestrova https://kestrova.onrender.com/mcp?src=registry
ChatGPT
Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.
OpenAI API (Responses tools)
{"type":"mcp","server_label":"kestrova","server_url":"https://kestrova.onrender.com/mcp?src=registry","require_approval":"always"}
Grok (xAI API tools)
{"type":"mcp","server_label":"kestrova","server_url":"https://kestrova.onrender.com/mcp?src=registry"}
Tools
payment_terms~58 tokens
FREE. Price, recipient, network, asset and how to pay for scan_solidity_full.scan_solidity_full~187 tokens
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. Chargedscan_solidity_preview~192 tokens
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": {"F
Browse
Related MCP servers
- Cybercentry Verification
Twelve tools: token, wallet, contract and site security. Two free, the rest $1 in USDC over x402. - Diogenes Autonomous Microservice Gateway
Autonomous AI microservices: 55 dynamic guardrails, contract audits & oracles via L402/x402/MPP. - Tanod Security
Contract and agent-package scans, phishing URL and OFAC checks, domain and header checks. - TokenOS Smart Contract Audit
Scan Solidity & Anchor code - Agentforge
DeFi safety layer for AI agents: wallet safety, token risk, tx decode/simulate. 20 tools. - ContractLens
EVM token risk checks, x402 payability check for sellers, address classifier and live gas. - DevX Agent Hub
x402 pay-per-call agent tools: token safety/honeypot check, speech to text, TTS, translate, OCR, web - entropiav2
Videodance compositions, Solidity contracts and poetic NFT metadata from Petra Synthetic's agent.
Badge for your README
[](https://aptlynx.net/servers/io.github.som2026-commits/kestrova)
Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents