Proofrun

dev.pages.proofrunPublished by proofrun.pages.devOfficial publisherv0.1.0Updated Oct 25, 2026

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

VerifiedStreamable HTTPWeb executableDeveloper ToolsSecurity & Monitoring

Overview

AI-generated overview

ProofRun runs bounded HTTP acceptance checks on agent deployments, with enrollment, preflight, paid verification and private report reading.

What you can do
Enroll and verify a target: start an origin-control proof for up to five exact read-only HTTPS GET paths, then verify the served proof file; enrollment expires after 24 hours. Preflight a configuration and enrollment for free before paying, validating paths, pack and idempotency format. Run a deployment check that returns a $0.01 native Base USDC x402 challenge without paying, and executes only with a verified enrollment, private read token, idempotency key and caller-created payment signature. Read or reconcile the original private report for a purchase, free and without signing or charging.
When to use it
Use it when you want an assistant to confirm that a deployed HTTP endpoint behaves as expected, with a small paid acceptance check and a private report you can read back. Useful for agents that need a bounded, origin-controlled verification step before or after deployment.
Requirements
A remote streamable HTTP endpoint; no packages, environment variables or headers are declared. Callers must generate and keep a private read token, supply an idempotency key, and create a payment signature for the paid verification step. Payment is $0.01 native Base USDC per pack via x402.
Before you install
The verification step costs $0.01 USDC per pack and requires a caller-created payment signature; only the PAYMENT-SIGNATURE header is accepted. The read token is private and must be generated and saved by the caller. Reports expire after seven days and enrollments after 24 hours. If payment state is uncertain, do not pay again; use the original idempotency key to reconcile.

Installation

In SourceWeft

  1. Open Proofrun in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/dev.pages.proofrun%2Fproofrun/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config.

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

Tools

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.

Parameterspathsrequiredoriginrequiredread_tokenrequiredread_only_pathsrequiredowner_authorizedrequired

verify_target

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

Parametersread_tokenrequiredenrollment_idrequired

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.

Parameterschecksrequiredheadersread_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.

Parameterschecksrequiredread_tokenrequiredenrollment_idrequiredidempotency_keyrequired

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.

Parametersread_tokenrequiredidempotency_keyrequired

Version history

1
  1. v0.1.0LatestOct 12, 2026

Score

72% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

  • Reached in the last 30 daysRequired25 pts
  • Auth declaredRequired10 pts
  • Tools listedRequired15 pts
  • DescriptionRequired15 pts
  • Logo10 pts

    Publish an icon in the registry entry.

  • Documentation15 pts

    Declare a GitHub repository with a README, or serve resource_documentation in the OAuth protected-resource metadata.

  • LicenseNot applicable

    A hosted service is used under its provider's terms, so no license is expected here. This check is left out of the percentage.