Install ProofSlip in Claude Code
claude mcp add proofslip -e PROOFSLIP_API_KEY=... -- npx -y @proofslip/mcp-server{
"mcpServers": {
"proofslip": {
"command": "npx",
"args": [
"-y",
"@proofslip/mcp-server"
],
"env": {
"PROOFSLIP_API_KEY": "..."
}
}
}
}Replace each ... with your own value.
Frequently asked questions
What does the ProofSlip MCP server do?
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
Is the ProofSlip MCP server free?
The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.
Does ProofSlip run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add ProofSlip to Claude Code?
Run: claude mcp add proofslip -e PROOFSLIP_API_KEY=... -- npx -y @proofslip/mcp-server
More ai agents & coding agents MCP servers
View allProvenTools
proventools/agent-clients
Read-only ProvenTools business ideas, evidence, build prompts, and validation reports.
PromptSpend
AndrewAvery7/promptspend
LLM pricing where every rate carries its source and the date it was last confirmed.
Python Exec Sandbox
lu-zhengda/mcp-python-exec-sandbox
Sandboxed Python execution for AI agents. PEP 723 inline deps, multi-version Python, zero pollution.
Postcept
Postcept/mcp
Verify agent actions against the system of record and get signed completion receipts.
QA Wrap bridge
NJ-Burrito/QA-Wrap
Read-only MCP server: a coding agent reads test sessions recorded in QA Wrap. Local only.
Pocket Agent
cwhited26/pocket-agent-mcp
Pocket Agent (aipocketagent.com) MCP server — read tools for personas, apps, and product info.