proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"proofrun": {
"url": "https://proofrun.pages.dev/mcp"
}
}
}リモートエンドポイント
https://proofrun.pages.dev/mcpstreamable-httpできること
ツール一覧
ツール（3）
🟢enroll_target(origin, paths, owner_authorized, read_only_paths, read_token)
Start authorization and origin-control proof for up to five exact read-only HTTPS GET paths. Serve the returned proof JSON at proof_url before verifying. Private read_token must be generated and saved by the caller.
入力スキーマ
{
"type": "object",
"properties": {
"origin": {
"type": "string",
"format": "uri"
},
"paths": {
"type": "array",
"items": {
"type": "string"
},
"minItems": 1,
"maxItems": 5
},
"owner_authorized": {
"type": "boolean",
"const": true
},
"read_only_paths": {
"type": "boolean",
"const": true
},
"read_token": {
"type": "string",
"minLength": 32,
"maxLength": 128
}
},
"required": [
"origin",
"paths",
"owner_authorized",
"read_only_paths",
"read_token"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}⚪verify_target(enrollment_id, read_token)
Verify the exact proof file for a previously started enrollment. Successful enrollment expires after 24 hours.
入力スキーマ
{
"type": "object",
"properties": {
"enrollment_id": {
"type": "string",
"pattern": "^[a-f0-9-]{36}$"
},
"read_token": {
"type": "string",
"minLength": 32,
"maxLength": 128
}
},
"required": [
"enrollment_id",
"read_token"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢verify_deployment(checks, enrollment_id, read_token, idempotency_key, payment_signature, ...)
Return a $0.01 native Base USDC x402 challenge without paying. For execution supply a verified enrollment, private read token, idempotency key and caller-created payment_signature or headers.PAYMENT-SIGNATURE. Only that payment header is accepted; enrollment/read token/idempotency remain explicit. Never creates a wallet signature. Returns bounded independent HTTP assertions, not security or full-application certification.
入力スキーマ
{
"type": "object",
"properties": {
"checks": {
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string"
},
"url": {
"type": "string",
"format": "uri"
},
"status": {
"type": "integer"
},
"text": {
"type": "string"
},
"json": {
"type": "array",
"items": {
"type": "object",
"properties": {
"path": {
"type": "array",
"items": {
"type": "string"
}
},
"equals": {
"type": [
"string",
"number",
"boolean",
"null"
]
}
},
"required": [
"path",
"equals"
],
"additionalProperties": false
}
}
},
"required": [
"id",
"url",
"status"
],
"additionalProperties": false
},
"minItems": 1,
"maxItems": 5
},
"enrollment_id": {
"type": "string",
"pattern": "^[a-f0-9-]{36}$"
},
"read_token": {
"type": "string",
"minLength": 32,
"maxLength": 128
},
"idempotency_key": {
"type": "string",
"pattern": "^[-a-zA-Z0-9_]{16,64}$"
},
"payment_signature": {
"type": "string",
"maxLength": 16384
},
"headers": {
"type": "object",
"additionalProperties": {
"type": "string"
}
}
},
"required": [
"checks"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}コミュニティ
エビデンス