proofrun について
ProofRun：エージェントのデプロイ向けの範囲限定 HTTP 受け入れチェック。1 パック $0.01 USDC
設定
リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。
エンドポイント
https://proofrun.pages.dev/mcpインストールコマンドをコピー
Claude CodeTerminal
claude mcp add --transport http dev-pages-proofrun-proofrun https://proofrun.pages.dev/mcpCursor.cursor/mcp.json
{"mcpServers":{"dev-pages-proofrun-proofrun":{"type":"http","url":"https://proofrun.pages.dev/mcp"}}}Cursor で開くVS Code.vscode/mcp.json
{"servers":{"dev-pages-proofrun-proofrun":{"type":"http","url":"https://proofrun.pages.dev/mcp"}}}VS Code で開くClaude Desktopclaude_desktop_config.json
{"mcpServers":{"dev-pages-proofrun-proofrun":{"type":"http","url":"https://proofrun.pages.dev/mcp"}}}Windsurf~/.codeium/windsurf/mcp_config.json
{"mcpServers":{"dev-pages-proofrun-proofrun":{"serverUrl":"https://proofrun.pages.dev/mcp"}}}コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。
ツール
5| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| paths | array | はい | |
| origin | string | はい | |
| read_token | string | はい | |
| read_only_paths | boolean | はい | |
| owner_authorized | boolean | はい |
詳細
メンテナーはまだ詳細を追加していません。リポジトリの README をご覧ください。
コメント
Markdown 対応
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。