Agent Verification Utility

Working · 2.1 s

dev.kgninja.agent-economy/agent-verification-utilityv0.4.0 Domain verified

Deterministic JSON checks with signed evidence and x402-paid execution

AI & Agents

Website Registry entry

Maintain this server? Claim it

Try it

Call this server's tools from your browser. Nothing to install.

https://agent-economy.kgninja.dev/mcp

Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.

Tool list from our last check. Connect live to refresh it.

describe_verify_evidence Read-only

Describe when deterministic verification is useful, when it is not, free request validation, recipes, limits, and the explicit paid MCP path.

This tool takes no arguments.

Tools (5)

describe_verify_evidence

Describe when deterministic verification is useful, when it is not, free request validation, recipes, limits, and the explicit paid MCP path.

read-only

No arguments.

Input schema (JSON)

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {}
}

get_revenue_goal_status

Read the active revenue goal, measured funnel, contribution margin, and the next bounded improvement recommendation. This tool never changes price, spends funds, or sends messages.

read-only

No arguments.

Input schema (JSON)

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {}
}

prepare_verify_evidence_purchase

Prepare an HTTP purchase request for deterministic JSON verification after a successful free precheck; a prior quote tool call is optional. After a successful free precheck at POST /validate-request, supply the unchanged intent and its precheck_receipt.receipt_digest. Creates or reuses a persisted quote and records observability events; no payment, signing or paid verification is performed. The bound quote ties request/evidence digests, precheck digest, spend policy, quoted amount, network, asset, recipient and expiry together. Server availability, fresh cost basis and conservative contribution-margin thresholds must pass. Returns JSON text and structuredContent containing quote, request (POST /verify-evidence, content-type and X-Quote-ID headers, unchanged intent body), expected_first_status=402 and expected_payment_header=PAYMENT-REQUIRED. It does not send this request. Application failures return isError=true with JSON error.code, message, retryable and optional details (for example PRECHECK_STALE, PRICE_CAP_EXCEEDED, IDEMPOTENCY_KEY_CONFLICT, IDEMPOTENCY_KEY_EXPIRED or UNPROFITABLE_TRANSACTION); invalid argument shapes are rejected by MCP schema validation. Re-run precheck after request/policy changes; do not pay on refusal. Next send the returned request to obtain a challenge, check binding, amount, network, asset, payTo and expiry against local policy, then authorize payment separately. Use quote_verify_evidence when only quote terms are needed.

Argument	Type	Description
intent*	object	Required prechecked purchase intent: request, spend_policy and precheck_receipt_digest are all required, with no defaults or optional fields. Preserve the request and policy used in the successful free POST /validate-request.
idempotency_key*	string	Required 16-128 characters from A-Z, a-z, 0-9, underscore or hyphen. Reuse with the unchanged intent to reuse an unexpired quote; changed bindings return IDEMPOTENCY_KEY_CONFLICT. An expired key returns IDEMPOTENCY_KEY_EXPIRED; use a new key.

Input schema (JSON)

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "idempotency_key",
    "intent"
  ],
  "properties": {
    "intent": {
      "type": "object",
      "required": [
        "request",
        "spend_policy",
        "precheck_receipt_digest"
      ],
      "properties": {
        "request": {
          "type": "object",
          "required": [
            "client_request_id",
            "evidence",
            "assertions"
          ],
          "properties": {
            "evidence": {
              "type": "object",
              "required": [
                "media_type",
                "content_base64"
              ],
              "properties": {
                "media_type": {
                  "type": "string",
                  "const": "application/json",
                  "description": "Required literal application/json."
                },
                "content_base64": {
                  "type": "string",
                  "maxLength": 87384,
                  "minLength": 4,
                  "description": "Required strict standard Base64 of UTF-8 JSON; 4-87384 encoded characters and at most 65536 decoded bytes. JSON limits: depth 32, object keys 2048, values 8192; integers must be JavaScript safe integers."
                }
              },
              "description": "Required caller-supplied JSON bytes; no remote evidence is fetched.",
              "additionalProperties": false
            },
            "assertions": {
              "type": "array",
              "items": {
                "oneOf": [
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "expected_hex"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "sha256_equals",
                        "description": "Compare SHA-256 of the raw decoded evidence bytes."
                      },
                      "expected_hex": {
                        "type": "string",
                        "pattern": "^[a-f0-9]{64}$",
                        "description": "Required expected digest as exactly 64 lowercase hex characters, without sha256: prefix."
                      }
                    },
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "path"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "json_pointer_exists",
                        "description": "Check whether the JSON Pointer resolves."
                      },
                      "path": {
                        "type": "string",
                        "maxLength": 512,
                        "description": "Required RFC 6901 JSON Pointer, at most 512 characters; empty string selects the document root. Escape tilde as ~0 and slash as ~1."
                      }
                    },
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "path",
                      "expected"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "json_pointer_equals",
                        "description": "Compare the selected JSON value with expected."
                      },
                      "path": {
                        "type": "string",
                        "maxLength": 512,
                        "description": "Required RFC 6901 JSON Pointer, at most 512 characters; empty string selects the document root. Escape tilde as ~0 and slash as ~1."
                      },
                      "expected": {
                        "description": "Required expected JSON value, including null; JSON depth/key/value and safe-integer limits apply."
                      }
                    },
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "path",
                      "expected_type"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "json_type_is",
                        "description": "Check the selected JSON value type."
                      },
                      "path": {
                        "type": "string",
                        "maxLength": 512,
                        "description": "Required RFC 6901 JSON Pointer, at most 512 characters; empty string selects the document root. Escape tilde as ~0 and slash as ~1."
                      },
                      "expected_type": {
                        "enum": [
                          "null",
                          "boolean",
                          "number",
                          "string",
                          "array",
                          "object"
                        ],
                        "type": "string",
                        "description": "Required JSON type: null, boolean, number, string, array or object."
                      }
                    },
                    "additionalProperties": false
                  }
                ]
              },
              "maxItems": 16,
              "minItems": 1,
              "description": "Required 1-16 deterministic assertions. Each operation accepts only its documented fields. Precheck validates input, not assertion truth."
            },
            "client_request_id": {
              "type": "string",
              "pattern": "^[A-Za-z0-9._:-]+$",
              "maxLength": 64,
              "minLength": 1,
              "description": "Required caller request identifier, 1-64 characters from A-Z, a-z, 0-9, dot, underscore, colon or hyphen; included in the request hash."
            }
          },
          "description": "Required complete bounded verification request, unchanged from precheck; no optional fields or defaults.",
          "additionalProperties": false
        },
        "spend_policy": {
          "type": "object",
          "required": [
            "policy_version",
            "max_amount_atomic",
            "network",
            "asset",
            "pay_to"
          ],
          "properties": {
            "asset": {
              "type": "string",
              "pattern": "^0x[a-fA-F0-9]{40}$",
              "description": "Required USDC contract address, 0x plus 40 hex characters; must match current advertised asset."
            },
            "pay_to": {
              "type": "string",
              "pattern": "^0x[a-fA-F0-9]{40}$",
              "description": "Required allowed payment recipient, 0x plus 40 hex characters; must match current advertised payTo."
            },
            "network": {
              "enum": [
                "eip155:84532",
                "eip155:8453"
              ],
              "type": "string",
              "description": "Required eip155:8453 (Base) or eip155:84532 (Base Sepolia); must match current advertised terms."
            },
            "policy_version": {
              "type": "string",
              "const": "agent-economy/precheck-policy/2.0",
              "description": "Required literal agent-economy/precheck-policy/2.0."
            },
            "max_amount_atomic": {
              "type": "string",
              "description": "Required positive decimal integer string in atomic USDC units (1000000 = 1 USDC), at most 16 digits and within JavaScript safe-integer range. No leading zero; must cover the current quoted price."
            }
          },
          "description": "Required caller spending limits and allowed terms; preserve from precheck. All five fields required; no defaults.",
          "additionalProperties": false
        },
        "precheck_receipt_digest": {
          "type": "string",
          "pattern": "^sha256:[a-f0-9]{64}$",
          "description": "Required sha256: followed by 64 lowercase hex characters, copied from precheck_receipt.receipt_digest of the successful free precheck. Recomputed against request, policy and current discovery contract; mismatches return PRECHECK_STALE."
        }
      },
      "description": "Required prechecked purchase intent: request, spend_policy and precheck_receipt_digest are all required, with no defaults or optional fields. Preserve the request and policy used in the successful free POST /validate-request.",
      "additionalProperties": false
    },
    "idempotency_key": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]+$",
      "maxLength": 128,
      "minLength": 16,
      "description": "Required 16-128 characters from A-Z, a-z, 0-9, underscore or hyphen. Reuse with the unchanged intent to reuse an unexpired quote; changed bindings return IDEMPOTENCY_KEY_CONFLICT. An expired key returns IDEMPOTENCY_KEY_EXPIRED; use a new key."
    }
  }
}

quote_verify_evidence

Obtain a free bound quote for deterministic checks on supplied JSON before deciding to purchase. After a successful free precheck at POST /validate-request, supply the unchanged intent and its precheck_receipt.receipt_digest. Creates or reuses a persisted quote and records observability events; no payment, signing or paid verification is performed. The bound quote ties request/evidence digests, precheck digest, spend policy, quoted amount, network, asset, recipient and expiry together. Server availability, fresh cost basis and conservative contribution-margin thresholds must pass. Returns the quote as JSON text and structuredContent: quote_id, request_hash, price (atomic USDC, 6 decimals), expires_at, economic_guard, purchase instructions and paid_verification_binding in state quoted, not a paid receipt. Application failures return isError=true with JSON error.code, message, retryable and optional details (for example PRECHECK_STALE, PRICE_CAP_EXCEEDED, IDEMPOTENCY_KEY_CONFLICT, IDEMPOTENCY_KEY_EXPIRED or UNPROFITABLE_TRANSACTION); invalid argument shapes are rejected by MCP schema validation. Re-run precheck after request/policy changes; do not pay on refusal. Next use prepare_verify_evidence_purchase with the same key and intent for the HTTP purchase request, or explicitly authorize the separate paid verify_evidence flow.

Argument	Type	Description
intent*	object	Required prechecked purchase intent: request, spend_policy and precheck_receipt_digest are all required, with no defaults or optional fields. Preserve the request and policy used in the successful free POST /validate-request.
idempotency_key*	string	Required 16-128 characters from A-Z, a-z, 0-9, underscore or hyphen. Reuse with the unchanged intent to reuse an unexpired quote; changed bindings return IDEMPOTENCY_KEY_CONFLICT. An expired key returns IDEMPOTENCY_KEY_EXPIRED; use a new key.

Input schema (JSON)

verify_evidence

Run deterministic checks and return Ed25519-signed evidence after one explicitly authorized x402 payment. A free precheck receipt and a matching bound payment requirement are required before signing.

Argument	Type	Description
intent*	object
idempotency_key*	string

Input schema (JSON)

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "idempotency_key",
    "intent"
  ],
  "properties": {
    "intent": {
      "type": "object",
      "required": [
        "request",
        "spend_policy",
        "precheck_receipt_digest"
      ],
      "properties": {
        "request": {
          "type": "object",
          "required": [
            "client_request_id",
            "evidence",
            "assertions"
          ],
          "properties": {
            "evidence": {
              "type": "object",
              "required": [
                "media_type",
                "content_base64"
              ],
              "properties": {
                "media_type": {
                  "type": "string",
                  "const": "application/json"
                },
                "content_base64": {
                  "type": "string",
                  "maxLength": 87384,
                  "minLength": 4
                }
              },
              "additionalProperties": false
            },
            "assertions": {
              "type": "array",
              "items": {
                "oneOf": [
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "expected_hex"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "sha256_equals"
                      },
                      "expected_hex": {
                        "type": "string",
                        "pattern": "^[a-f0-9]{64}$"
                      }
                    },
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "path"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "json_pointer_exists"
                      },
                      "path": {
                        "type": "string",
                        "maxLength": 512
                      }
                    },
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "path",
                      "expected"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "json_pointer_equals"
                      },
                      "path": {
                        "type": "string",
                        "maxLength": 512
                      },
                      "expected": {}
                    },
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "required": [
                      "op",
                      "path",
                      "expected_type"
                    ],
                    "properties": {
                      "op": {
                        "type": "string",
                        "const": "json_type_is"
                      },
                      "path": {
                        "type": "string",
                        "maxLength": 512
                      },
                      "expected_type": {
                        "enum": [
                          "null",
                          "boolean",
                          "number",
                          "string",
                          "array",
                          "object"
                        ],
                        "type": "string"
                      }
                    },
                    "additionalProperties": false
                  }
                ]
              },
              "maxItems": 16,
              "minItems": 1
            },
            "client_request_id": {
              "type": "string",
              "pattern": "^[A-Za-z0-9._:-]+$",
              "maxLength": 64,
              "minLength": 1
            }
          },
          "additionalProperties": false
        },
        "spend_policy": {
          "type": "object",
          "required": [
            "policy_version",
            "max_amount_atomic",
            "network",
            "asset",
            "pay_to"
          ],
          "properties": {
            "asset": {
              "type": "string",
              "pattern": "^0x[a-fA-F0-9]{40}$"
            },
            "pay_to": {
              "type": "string",
              "pattern": "^0x[a-fA-F0-9]{40}$"
            },
            "network": {
              "enum": [
                "eip155:84532",
                "eip155:8453"
              ],
              "type": "string"
            },
            "policy_version": {
              "type": "string",
              "const": "agent-economy/precheck-policy/2.0"
            },
            "max_amount_atomic": {
              "type": "string"
            }
          },
          "additionalProperties": false
        },
        "precheck_receipt_digest": {
          "type": "string",
          "pattern": "^sha256:[a-f0-9]{64}$"
        }
      },
      "additionalProperties": false
    },
    "idempotency_key": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]+$",
      "maxLength": 128,
      "minLength": 16
    }
  }
}

{ "type": "object", "$schema": "https://json-schema.org/draft/2020-12/schema", "required": [ "idempotency_key", "intent" ], "properties": { "intent": { "type": "object", "required": [ "request", "spend_policy", "precheck_receipt_digest" ], "properties": { "request": { "type": "object", "required": [ "client_request_id", "evidence", "assertions" ], "properties": { "evidence": { "type": "object", "required": [ "media_type", "content_base64" ], "properties": { "media_type": { "type": "string", "const": "application/json", "description": "Required literal application/json." }, "content_base64": { "type": "string", "maxLength": 87384, "minLength": 4, "description": "Required strict standard Base64 of UTF-8 JSON; 4-87384 encoded characters and at most 65536 decoded bytes. JSON limits: depth 32, object keys 2048, values 8192; integers must be JavaScript safe integers." } }, "description": "Required caller-supplied JSON bytes; no remote evidence is fetched.", "additionalProperties": false }, "assertions": { "type": "array", "items": { "oneOf": [ { "type": "object", "required": [ "op", "expected_hex" ], "properties": { "op": { "type": "string", "const": "sha256_equals", "description": "Compare SHA-256 of the raw decoded evidence bytes." }, "expected_hex": { "type": "string", "pattern": "^[a-f0-9]{64}$", "description": "Required expected digest as exactly 64 lowercase hex characters, without sha256: prefix." } }, "additionalProperties": false }, { "type": "object", "required": [ "op", "path" ], "properties": { "op": { "type": "string", "const": "json_pointer_exists", "description": "Check whether the JSON Pointer resolves." }, "path": { "type": "string", "maxLength": 512, "description": "Required RFC 6901 JSON Pointer, at most 512 characters; empty string selects the document root. Escape tilde as ~0 and slash as ~1." } }, "additionalProperties": false }, { "type": "object", "required": [ "op", "path", "expected" ], "properties": { "op": { "type": "string", "const": "json_pointer_equals", "description": "Compare the selected JSON value with expected." }, "path": { "type": "string", "maxLength": 512, "description": "Required RFC 6901 JSON Pointer, at most 512 characters; empty string selects the document root. Escape tilde as ~0 and slash as ~1." }, "expected": { "description": "Required expected JSON value, including null; JSON depth/key/value and safe-integer limits apply." } }, "additionalProperties": false }, { "type": "object", "required": [ "op", "path", "expected_type" ], "properties": { "op": { "type": "string", "const": "json_type_is", "description": "Check the selected JSON value type." }, "path": { "type": "string", "maxLength": 512, "description": "Required RFC 6901 JSON Pointer, at most 512 characters; empty string selects the document root. Escape tilde as ~0 and slash as ~1." }, "expected_type": { "enum": [ "null", "boolean", "number", "string", "array", "object" ], "type": "string", "description": "Required JSON type: null, boolean, number, string, array or object." } }, "additionalProperties": false } ] }, "maxItems": 16, "minItems": 1, "description": "Required 1-16 deterministic assertions. Each operation accepts only its documented fields. Precheck validates input, not assertion truth." }, "client_request_id": { "type": "string", "pattern": "^[A-Za-z0-9._:-]+$", "maxLength": 64, "minLength": 1, "description": "Required caller request identifier, 1-64 characters from A-Z, a-z, 0-9, dot, underscore, colon or hyphen; included in the request hash." } }, "description": "Required complete bounded verification request, unchanged from precheck; no optional fields or defaults.", "additionalProperties": false }, "spend_policy": { "type": "object", "required": [ "policy_version", "max_amount_atomic", "network", "asset", "pay_to" ], "properties": { "asset": { "type": "string", "pattern": "^0x[a-fA-F0-9]{40}$", "description": "Required USDC contract address, 0x plus 40 hex characters; must match current advertised asset." }, "pay_to": { "type": "string", "pattern": "^0x[a-fA-F0-9]{40}$", "description": "Required allowed payment recipient, 0x plus 40 hex characters; must match current advertised payTo." }, "network": { "enum": [ "eip155:84532", "eip155:8453" ], "type": "string", "description": "Required eip155:8453 (Base) or eip155:84532 (Base Sepolia); must match current advertised terms." }, "policy_version": { "type": "string", "const": "agent-economy/precheck-policy/2.0", "description": "Required literal agent-economy/precheck-policy/2.0." }, "max_amount_atomic": { "type": "string", "description": "Required positive decimal integer string in atomic USDC units (1000000 = 1 USDC), at most 16 digits and within JavaScript safe-integer range. No leading zero; must cover the current quoted price." } }, "description": "Required caller spending limits and allowed terms; preserve from precheck. All five fields required; no defaults.", "additionalProperties": false }, "precheck_receipt_digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$", "description": "Required sha256: followed by 64 lowercase hex characters, copied from precheck_receipt.receipt_digest of the successful free precheck. Recomputed against request, policy and current discovery contract; mismatches return PRECHECK_STALE." } }, "description": "Required prechecked purchase intent: request, spend_policy and precheck_receipt_digest are all required, with no defaults or optional fields. Preserve the request and policy used in the successful free POST /validate-request.", "additionalProperties": false }, "idempotency_key": { "type": "string", "pattern": "^[A-Za-z0-9_-]+$", "maxLength": 128, "minLength": 16, "description": "Required 16-128 characters from A-Z, a-z, 0-9, underscore or hyphen. Reuse with the unchanged intent to reuse an unexpired quote; changed bindings return IDEMPOTENCY_KEY_CONFLICT. An expired key returns IDEMPOTENCY_KEY_EXPIRED; use a new key." } } }