proofrun

ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.

我該用這個嗎

品質與安全性

A
說明品質
100%
結構描述完整度
80%
命名品質
93%
汙染風險
100%
權限相符程度
100%
協定合規性
100%

根據工具定義與協定合規性的自動化分析。

上下文成本

~620Token(工具定義)
~1.7 KB典型回應大小
極小的注意力影響(128k 上下文的 0.48%)

這是每次將伺服器的工具載入模型上下文時所消耗的約略 token 數量。數量越高,可用於其他工作的注意力就越少。

安裝

一鍵安裝

將以下內容加入你的 `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#"
}

社群

為此伺服器評分

證據

近期觀測

已驗證未記錄版本3 個工具