Proofrun

dev.pages.proofrun由 proofrun.pages.dev 发布官方发布者v0.1.0更新于 Oct 25, 2026

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

已验证Streamable HTTP可网页运行开发者工具安全与监控

概览

AI 生成的概览

ProofRun 对智能体部署执行有边界的 HTTP 验收检查，包括登记、预检、付费验证和读取私有报告。

可以做什么
登记与验证目标：为最多五个精确的只读 HTTPS GET 路径启动来源控制证明，然后验证所提供的证明文件；登记在 24 小时后过期。付费前免费预检配置与登记，校验路径、套餐和幂等格式。执行部署检查时先返回 0.01 美元原生 Base USDC 的 x402 挑战而不付款，仅在具备已验证登记、私有读取令牌、幂等键和调用方创建的付款签名时才执行。免费读取或核对某次购买的原始私有报告，不签名也不扣费。
适用场景
当你希望助手确认已部署的 HTTP 端点行为符合预期，并需要一次小额付费验收检查和可回读的私有报告时使用。适合在部署前后需要受控、有边界的验证步骤的智能体。
运行要求
远程 streamable HTTP 端点；未声明任何软件包、环境变量或请求头。调用方需自行生成并保存私有读取令牌，提供幂等键，并为付费验证步骤创建付款签名。通过 x402 以每份 0.01 美元原生 Base USDC 付款。
安装前请注意
验证步骤每份收费 0.01 美元 USDC，且需要调用方创建的付款签名；仅接受 PAYMENT-SIGNATURE 请求头。读取令牌为私有，须由调用方生成并保存。报告 7 天后过期，登记 24 小时后过期。若付款状态不确定，不要重复付款，应使用原始幂等键核对。

安装

在 SourceWeft 中

  1. 打开 控制台中的 Proofrun，将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Web executable，通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体，或 SourceWeft 对话中。智能体会读取该服务器的安装指南，先向你展示发布者、端点和登录方式，经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/dev.pages.proofrun%2Fproofrun/install.md，并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前，先告诉我它的发布者、端点和登录方式，等我确认。不要把 API 密钥写进命令或我会提交的文件；问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

{
  "mcpServers": {
    "proofrun": {
      "type": "http",
      "url": "https://proofrun.pages.dev/mcp"
    }
  }
}

工具

5

enroll_target

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.

输入参数paths必填origin必填read_token必填read_only_paths必填owner_authorized必填

verify_target

Verify the exact proof file for a previously started enrollment. Successful enrollment expires after 24 hours.

输入参数read_token必填enrollment_id必填

verify_deployment

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.

输入参数checks必填headersread_tokenenrollment_ididempotency_keypayment_signature

preflight_pack

Free configuration and enrollment preflight before paying. Validates exact authorized paths, pack and idempotency format; refuses an existing caller payment attempt. Makes no target request, signature, settlement or ledger write. Not a deployment test, wallet/balance check or capacity reservation.

输入参数checks必填read_token必填enrollment_id必填idempotency_key必填

read_report

Read or reconcile the original private report for a purchase. Use the ORIGINAL idempotency_key, not the report_id UUID. Free; never signs or charges. If state is uncertain do not pay again. Requires the original private read token; reports expire after seven days.

输入参数read_token必填idempotency_key必填

版本历史

1
  1. v0.1.0最新Oct 12, 2026

评分

已满足适用检查项的 72%

该评分衡量此收录条目的完整程度，依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价，也不表示服务器安全或当前可用：可连通性是带日期的检查结果，评分也不包含安装量或用户评价。

  • 近 30 天内可连通必需25 分
  • 已声明认证方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 图标10 分

    请在注册中心条目中发布图标。

  • 文档15 分

    请声明包含 README 的 GitHub 仓库，或在 OAuth 受保护资源元数据中提供 resource_documentation。

  • 许可证不适用

    托管服务按其提供方的条款使用，因此这里不要求许可证。此检查项不计入百分比。