Every change Wellknown observed on this MCP server, newest first, with what it was before and what it became. Tool-surface changes carry the definition diff. Nothing here is edited after the fact.
Changed the definition of "check_agent_purchase"
⟨226 unchanged words⟩ 402 challenge.","type":"object"},"receiptEnvelope":{"$ref":"https://davisvillelabs.com/agents/davisville-receipt-envelope.v1.schema.json","description":"Additive Davisville Receipt Envelope v1. The native ExitProof purchase-check result remains authoritative."},"reversibility":{"additionalProperties":true,"description":"Published ⟨42 unchanged words⟩ ","evidence","limitations","nextStep","checkDigest","receiptEnvelope"],"type":"object"}
Added "check_agent_purchase"; changed the definition of "build_exit_pack" and "create_exit_manifest" (5 tools before, 6 now)
⟨36 unchanged words⟩ when no manifest exists. This $1.00 MPP operation prefers Tempo stablecoin when available, retains Stripe card/link as a compatible fallback, and can charge but never contacts the merchant, executes ⟨41 unchanged words⟩
⟨44 unchanged words⟩ when a manifest already exists. This state-changing $0.25 stablecoin MPP operation checks eligibility before any payment challenge; ⟨40 unchanged words⟩
Certificate recorded, valid to 2026-12-20
Authorization not required
Unknown → Live
First tool surface recorded: 5 tools (server version 0.1.0)
https://exitproof.davisvillelabs.com/mcp (mcp_streamable_http) — from mcp_registry, with the record
Showing the latest 7 events. The API returns up to 500 and filters by kind: ?kind=tool_surface_changed
Check agent purchase — Inspect one autonomous HTTP purchase before the calling agent pays it. This $0.01 machine-payment operation validates a real 402 challenge, compares advertised price/protocol/network/asset/payment destination when supplied, checks x402 v2 exact resource binding when available, and surfaces retry or settled-delivery recovery signals. ExitProof never forwards payment credentials and never sends a live POST, PUT, PATCH, or DELETE probe; for those methods the caller supplies an already-observed 402 challenge. Conflicting, malformed, inaccessible, non-402, or unsafe targets are rejected before Exi…