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。

  • 授權條款不適用

    託管服務按其提供方的條款使用,因此這裡不要求授權條款。此檢查項不計入百分比。