mcpField
K
Kestrova: Solidity Vulnerability Scan

Kestrova: Solidity Vulnerability Scan

リモート
github.comセキュリティ03 日前に更新
リポジトリ公式サイト

Kestrova: Solidity Vulnerability Scan について

KestrovaはエージェントスキルとリモートMCPサーバーを組み合わせ、SlitherでSolidityコントラクトをスキャンします。コーディングエージェントは無料プレビューを利用でき、明示的な承認後に行単位の有料レポートも選べます。

主な機能

  1. 01重大度件数を含む無料のSlitherプレビュー
  2. 02ファイルと行の位置を示す任意の有料レポート
  3. 03価格と支払い情報の無料確認
  4. 04支払い前の明示的な承認
  5. 05ソースを一時処理し、保存やログ記録なし

活用シーン

  1. 01コーディング中のSolidity変更の確認
  2. 02デプロイ前のコントラクトレビュー
  3. 03ソース位置を基にした検出内容の確認

MCP 対応

リモートMCPサーバーは、MCPクライアントに`scan_solidity_preview`、`scan_solidity_full`、`payment_terms`を提供します。スキルは対応するコーディングエージェントにチェックを促しますが、MCPサーバー単体では自動実行されない場合があります。

設定

リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。

エンドポイントhttps://kestrova.onrender.com/mcp?src=registry
インストールコマンドをコピー
Claude CodeTerminal
Cursor.cursor/mcp.json
VS Code.vscode/mcp.json
Claude Desktopclaude_desktop_config.json
Windsurf~/.codeium/windsurf/mcp_config.json

コマンドはターミナルで実行し、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 を参照)。

コメント

MCP は初めてですか?

プロトコルの概要から最初のサーバーの導入まで、よくある疑問にまとめて答えます。

AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。