ProofSlip

Overview

ProofSlip is a Model Context Protocol (MCP) server: Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects. In practice that means any MCP-compatible AI assistant can call ProofSlip's tools directly — the model decides when to use them in a conversation or agent run.

It runs locally: the npm package @proofslip/mcp-server speaks MCP over stdio on your machine. Configuration happens through environment variables — you'll need PROOFSLIP_API_KEY. The current release is v0.2.3, published under the MIT license, with source at Johnny-Z13/proofslip on GitHub.

ProofSlip is listed under AI & Agents on mcp.site and works with any MCP client — Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed and the rest of the ecosystem — using the install snippets below. If you maintain ProofSlip for proofslip.ai, claim this listing to verify ownership, earn the Verified badge, and keep the details current.

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "proofslip": {
      "command": "npx",
      "args": [
        "-y",
        "@proofslip/mcp-server"
      ],
      "env": {
        "PROOFSLIP_API_KEY": "<proofslip-api-key>"
      }
    }
  }
}

Requires PROOFSLIP_API_KEY