V
verify
リモート@kenoodl.com開発ツール
verify について
コードをコントラクトに対して実行し、正確な入力で HELD または BROKE を返す。決定論的。1 回の呼び出しにつき 0.10 USDC
設定
リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。
エンドポイント
https://kenoodl.com/mcpインストールコマンドをコピー
Claude CodeTerminal
claude mcp add --transport http com-kenoodl-verify https://kenoodl.com/mcpCursor.cursor/mcp.json
{"mcpServers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}Cursor で開くVS Code.vscode/mcp.json
{"servers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}VS Code で開くClaude Desktopclaude_desktop_config.json
{"mcpServers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}Windsurf~/.codeium/windsurf/mcp_config.json
{"mcpServers":{"com-kenoodl-verify":{"serverUrl":"https://kenoodl.com/mcp"}}}コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。
ツール
1| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| code | string | はい | テスト対象の関数のソースコード。最大 64000 文字。 |
| contract | object | いいえ | BROKE 判定が可能な {call, expected} contract を指定してください。BROKE は、指定された contract に基づく場合にのみ発生します。 |
| contract.fn | string | はい | 実行する関数名。 |
| contract.examples | array | はい | |
| assumption | string | いいえ | FINDINGS の確認に使う、コードに関する平易な言葉での主張（BROKE 判定にはなりません）。最大 4000 文字。 |
詳細
メンテナーはまだ詳細を追加していません。リポジトリの README をご覧ください。
コメント
Markdown 対応
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。