MCP server
ProofSlip Official
ai.proofslip/mcp-server
Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
At a glance
- Type
- MCP server
- Publisher
- proofslip.ai (verified by the MCP Registry)
- Status
- Runs on your computer
- Sets up in
- Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
- Last checked
- 26 Oct 2026, 08:31 UTC
Connect it to your agent
Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.
Claude Code
claude mcp add proofslip --env PROOFSLIP_API_KEY=YOUR_VALUE -- npx -y @proofslip/mcp-server@0.2.3
Claude Desktop
{"mcpServers":{"proofslip":{"command":"npx","args":["-y","@proofslip/mcp-server@0.2.3"],"env":{"PROOFSLIP_API_KEY":"YOUR_VALUE"}}}}
Codex (config.toml)
[mcp_servers.proofslip]
command = "npx"
args = ["-y","@proofslip/mcp-server@0.2.3"]
env = { PROOFSLIP_API_KEY = "YOUR_VALUE" }
Gemini CLI
{"mcpServers":{"proofslip":{"command":"npx","args":["-y","@proofslip/mcp-server@0.2.3"],"env":{"PROOFSLIP_API_KEY":"YOUR_VALUE"}}}}
Cursor
{"mcpServers":{"proofslip":{"command":"npx","args":["-y","@proofslip/mcp-server@0.2.3"],"env":{"PROOFSLIP_API_KEY":"YOUR_VALUE"}}}}
VS Code
{"servers":{"proofslip":{"type":"stdio","command":"npx","args":["-y","@proofslip/mcp-server@0.2.3"],"env":{"PROOFSLIP_API_KEY":"YOUR_VALUE"}}}}
Runs on your computer with your permissions: check the package and its source before installing. Replace YOUR_VALUE with your own PROOFSLIP_API_KEY.
Related MCP servers
- R/IV — Verify Claims, Citations & Agent Actions
Verify claims, citations & agent actions. Free receipt trial; paid prices via live R/IV quotes. - HODLXXI Read-Only
Public read-only MCP server for HODLXXI agent identity, trust, receipts, and verification. - DataPulse
Read-only discovery for 440 Malaysian public datasets with freshness, licence, and provenance. - PrivateDAO Agent Exchange
PrivateDAO services for verification, multichain intelligence, risk, and agent workflows. - Ephemeral
Run AI agent tasks in isolated sandboxes with a cost cap, saved workflows and scoped connections. - Qualisend Email Verification
Verify email addresses and clean lists to improve deliverability and sender reputation. - Cancellation-outcome verification
You cancelled the run — did the work actually stop? - Verified Feed
Contradiction-verified, freshness-SLA'd signed feed: per-record status + as-of date + receipt.
Badge for your README
[](https://aptlynx.net/servers/ai.proofslip/mcp-server)
Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents