ProofSlip

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

binary

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

node

CalendarMCP

Hosted Google Calendar MCP server for AI agents. No self-hosting or Google Cloud setup.

aiutilities1 env var

ProofSlip

stdio

Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects

Claude Desktopguide →Vscodeguide →Cursorguide →Windsurfguide →

Getting Started

npx @getmcp/cli add ai.proofslip/mcp-server

Requires Node.js 18+. Community-contributed server. Review source before installing.

Required Environment Variables

PROOFSLIP_API_KEY
Your ProofSlip API key (get one free at proofslip.ai)

Configuration

Config file: ~/Library/Application Support/Claude/claude_desktop_config.json

JSON

{
  "mcpServers": {
    "ai.proofslip/mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@proofslip/mcp-server"
      ],
      "env": {
        "PROOFSLIP_API_KEY": "",
        "PROOFSLIP_BASE_URL": "https://proofslip.ai"
      }
    }
  }
}

Claude Desktop MCP documentation

Related Servers

Tandem Docs

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

binary

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

node

CalendarMCP