Kestrova: Solidity Vulnerability Scan について
KestrovaはエージェントスキルとリモートMCPサーバーを組み合わせ、SlitherでSolidityコントラクトをスキャンします。コーディングエージェントは無料プレビューを利用でき、明示的な承認後に行単位の有料レポートも選べます。
主な機能
- 01重大度件数を含む無料のSlitherプレビュー
- 02ファイルと行の位置を示す任意の有料レポート
- 03価格と支払い情報の無料確認
- 04支払い前の明示的な承認
- 05ソースを一時処理し、保存やログ記録なし
活用シーン
- 01コーディング中のSolidity変更の確認
- 02デプロイ前のコントラクトレビュー
- 03ソース位置を基にした検出内容の確認
MCP 対応
リモートMCPサーバーは、MCPクライアントに`scan_solidity_preview`、`scan_solidity_full`、`payment_terms`を提供します。スキルは対応するコーディングエージェントにチェックを促しますが、MCPサーバー単体では自動実行されない場合があります。
設定
リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。
https://kestrova.onrender.com/mcp?src=registryclaude mcp add --transport http som2026-commits-kestrova https://kestrova.onrender.com/mcp?src=registry{"mcpServers":{"som2026-commits-kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}Cursor で開く{"servers":{"som2026-commits-kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}VS Code で開く{"mcpServers":{"som2026-commits-kestrova":{"type":"http","url":"https://kestrova.onrender.com/mcp?src=registry"}}}{"mcpServers":{"som2026-commits-kestrova":{"serverUrl":"https://kestrova.onrender.com/mcp?src=registry"}}}コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。
ツール
詳細
Kestrova:コーディングエージェント向け Solidity セキュリティレビュー
エージェントスキルとリモート MCP サーバーです。コーディングエージェントが Solidity コントラクトを作成、変更、またはデプロイの準備をすると、無料の Slither 静的解析プレビューを実行し、過剰な断定を避けて結果を説明します。さらに、価格を承認した後に限り、任意の有料行単位レポートを提案します。
インストール(いずれかを選択)
| エージェント | コマンド |
|---|---|
| Claude Code(プラグイン:スキル + MCP) | /plugin marketplace add som2026-commits/kestrova-solidity-security then /plugin install solidity-security-review@kestrova |
| スキルに対応する任意のエージェント(SKILL.md) | npx skills add som2026-commits/kestrova-solidity-security --skill solidity-security-review |
| MCP のみ(任意の MCP クライアント) | リモート Streamable HTTP サーバー https://kestrova.onrender.com/mcp?src=registry(Claude Code:claude mcp add --transport http kestrova "https://kestrova.onrender.com/mcp?src=skill") |
私たちのテストでは、MCP サーバーのみを使うエージェントは、促されない限りチェックを実行しませんでした。エージェントにチェックを実行させるのはスキルです。
機能
scan_solidity_preview(無料、キー不要):重要度別の件数と、High/Medium の検出器名を表示します。scan_solidity_full(有料、任意):検出器、影響度、信頼度、ファイル/行の位置を含むすべての検出結果を表示します。 x402 経由で、ご自身のウォレットツールから Solana 上の USDC で、呼び出しごとに支払います。スキャンが 成功した場合にのみ課金されます。このスキルは、明示的な承認なしに支払うことを禁止し、キーを扱うこともありません。payment_terms(無料):現在の価格と支払いの詳細を表示します。
制限事項(お読みください)
これは自動パターン検出(Slither)であり、監査ではありません。問題が検出されなくても、コントラクトが安全であることを意味しません。対象外: ビジネスロジック、経済/オラクル/MEV 攻撃、アクセス制御の意図、アップグレードと管理者キーのリスク、送信されていないコード、デプロイ構成です。価値を保有するものには、専門家による監査とテストを利用してください。
プライバシー
送信されたソースは一時ディレクトリでスキャンされ、スキャンごとに削除されます。サービスはソースを保存したり、
ログに記録したりしません。サービスの利用ログに記録されるのは、ルート、ステータス、クライアントの種類、src インストールチャネルタグであり、IP
アドレスやソースコードは記録されません(IP アドレスはレート制限のためメモリ内にのみ保持されます)。ホスティングプロバイダー(Render、
Cloudflare)が、標準的なリクエストログを独自に保持する場合があります。
内容
.claude-plugin/marketplace.json(マーケットプレイス)、solidity-security-review/(プラグイン:.claude-plugin/plugin.json、
.mcp.json、skills/solidity-security-review/SKILL.md)。サーバーコードはありません。
ライセンス:MIT(LICENSE を参照)。
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。