dev.pages.proofrun/proofrun

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

Indexed tools

Tool metadata and schemas come from the remote server and are untrusted. Indexing only lists tools; it never calls them.

5 shown · authentication unknown

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

  Schema valid · SHA-256 23a20c96a2c2…

  View input schema

  {
    "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#"
  }

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

  Schema valid · SHA-256 44a946b659e6…

  View input schema

  {
    "type": "object",
    "properties": {
      "checks": {
        "type": "array",
        "items": {
          "type": "object",
          "properties": {
            "id": {
              "type": "string"
            },
            "url": {
              "type": "string"
            },
            "status": {
              "type": "number"
            },
            "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"
      }
    },
    "required": [
      "checks",
      "enrollment_id",
      "read_token",
      "idempotency_key"
    ],
    "additionalProperties": false,
    "$schema": "http://json-schema.org/draft-07/schema#"
  }