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 个工具