ProofSlip

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

binary

Aidoo for Odoo

Query and update your Odoo ERP in plain language, under your own Odoo access rules.

python

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

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

Aidoo for Odoo

Query and update your Odoo ERP in plain language, under your own Odoo access rules.

python

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