Kestrova: Solidity Vulnerability Scan
Solidity smart contract vulnerability scan (Slither) for AI agents. Free preview; paid full report.
Sollte ich dies verwenden
Qualität und Sicherheit
Basierend auf einer automatisierten Analyse der Tool-Definitionen und der Einhaltung des Protokolls.
Kontextkosten
Dies ist die ungefähre Anzahl der Tokens, die jedes Mal verbraucht werden, wenn die Tools des Servers in den Kontext eines Modells geladen werden. Höhere Werte verringern die Aufmerksamkeit, die für andere Aufgaben verfügbar ist.
Installieren
Installation mit einem Klick
Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:
{
"mcpServers": {
"kestrova": {
"url": "https://kestrova.onrender.com/mcp?src=registry"
}
}
}Remote-Endpunkte
https://kestrova.onrender.com/mcp?src=registrystreamable-httpWas es kann
Tool-Inventar
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.
Eingabe-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.
Eingabe-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.
Eingabe-Schema
{
"type": "object",
"properties": {},
"title": "payment_termsArguments"
}Community
Nachweis