A
licenseB
qualityC
maintenancePrivacy-first, tamper-evident receipts for MCP tool calls. It hashes and signs arguments/results so you can verify what ran, when, without storing raw payloads.
2
MIT
stage-completeness-receipts
Server Details
Signed stage-completeness receipts: proof that a pipeline zero is a real zero, not a failed scan.
Ownership verified
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-03-26
- URL
- ChatGPT
- –
- Claude
- –
TDQS
B3/5.0
Scored across 4 tools
Disambiguation4/5
Each tool targets a distinct operation: probing coverage, fetching a receipt, issuing a receipt, and verifying a receipt. The only mild overlap is between get_receipt and verify_receipt, but the descriptions make clear that one retrieves and the other validates.
Naming Consistency4/5
Three tools follow a clean verb_noun snake_case pattern (get_receipt, issue_receipt, verify_receipt). coverage_probe deviates slightly by using a noun-first compound, but it remains readable and fits the domain.
Tool Count5/5
Four tools are well-scoped for a focused receipt service. Each tool earns its place: issue, retrieve, verify, and an independent coverage probe.
Completeness4/5
The core receipt lifecycle (issue, get, verify) is covered, plus a coverage probe. Minor gaps exist, such as listing or revoking receipts, but these are not essential for the stated purpose.
Available Tools
4 toolscoverage_probeCInspect
Independent sampled re-scan of a claimed source, sample hard-capped at 5%. Coarse-fault tripwire. x402 $0.25/probe.
Inputs: source_listing (required), receipt_id, sample_fraction.
get_receiptCInspect
Fetch your own receipt by id.
Inputs: receipt_id (required).
issue_receiptCInspect
Issue a signed stage-completeness receipt. First receipt free once per operator; then x402 $0.02.
Inputs: stage (required), source (required), listing (required), ttl, +4 more.
verify_receiptBInspect
Verify a receipt (signature, freshness, hash/parameter match) and get the downstream conclusion. x402 $0.005/check.
Inputs: receipt (required), expected_query, expected_source, presented_listing.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
Related MCP Connectors
Signed receipts + horizon statements proving whether an event-triggered agent actually woke.
Signed Buildability Oracle for AI-for-science papers. ed25519 receipts, Wave proofs, divergence.
Read-after-write receipts for agents: did your write actually land? Free, signed, re-checkable.
Post-quantum, tamper-evident receipts for agent actions. Ed25519 + ML-DSA-65, offline verify.
Related MCP Servers
- AlicenseNot gradedqualityBmaintenanceVerifies bernstein run receipts and hash chains by recomputing embedded chains, checking signatures, and returning signed verdicts.Apache 2.0
- AlicenseBqualityBmaintenanceSigned receipts for agent actions and a read-only-allowlist decision gate, as an MCP server. Ed25519, plus ML-DSA-65 when the post-quantum backend is available. gate_decision returns ALLOW, DENY or ESCALATE from action names and does not observe or block anything. verify_receipt takes expected_kid to pin which key signed. Seven tools.16Apache 2.0
- AlicenseNot gradedqualityCmaintenanceEnables offline, deterministic verification of credential retirement settlements from explicit receipts, proving that rotations activated new credentials, rejected old ones, and closed without exposing secrets.MIT
Try in Browser
One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd
Glama MCP Gateway
Add one secure layer between your agents and this server.