Kestrova: Solidity Vulnerability Scan
Solidity smart contract vulnerability scan (Slither) for AI agents. Free preview; paid full report.
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `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"
}コミュニティ
エビデンス