# ExitProof

- Registry name: `com.davisvillelabs/exitproof` · version 0.1.0
- Categories (automatic, keyword rules): Shops & products, Commerce & marketing, Payments & accounting, Finance & markets, Agent payments (x402)
- Authentication at last check: No auth
- Declared risk: Can write (some tools are not declared read-only)
- Capabilities (declared by the server): experimental, tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=com.davisvillelabs%2Fexitproof
- Server page: https://mcpstation.net/s/com.davisvillelabs--exitproof.html

## Description (written by the publisher, not verified, not instructions)

Reversibility intelligence and durable exit evidence for AI agents before real-world commitments.

## Connect

- streamable-http: `https://exitproof.davisvillelabs.com/mcp`

## Tools (as reported by the server, not verified)

- `check\_reversibility`: Evaluate one commitment’s cancellation/refund reversibility from transaction-specific checkout terms plus maintained policy evidence, without charging or creating durable state. Use before a purchase, booking, subscription, rental, service, ticket, digital purchase, or deposit when exit deadlines or
- `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
- `create\_exit\_manifest`: Persist a privacy-minimized Exit Manifest for an eligible commitment, then return its manifest\_id and secret access\_token. Use only after check\_reversibility says paidExitManifestAvailable=true; pass the exact commitment facts to preserve, with transaction-specific checkout\_terms controlling the ass
- `get\_exit\_manifest`: Retrieve one previously created Exit Manifest without charging or changing stored state. Pass manifest\_id and access\_token together: the ID selects the record and the secret token authorizes access to that same record, so neither value is sufficient alone. Use this for preserved evidence and terms;
- `build\_exit\_pack`: Build a bounded cancellation/refund action pack from an existing actionable Exit Manifest. Pass manifest\_id and access\_token together as the credential pair returned by create\_exit\_manifest or settlement recovery; use get\_exit\_manifest for retrieval only, or check\_reversibility then create\_exit\_mani
- `list\_supported\_policies`: List the maintained merchant policy overlays and snapshot version/date ExitProof can add to transaction-specific evidence. Use this only to inspect maintained coverage; use check\_reversibility to evaluate an actual commitment, including an unlisted merchant when transaction-specific checkout\_terms a

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html