ProofSlip

ProofSlip runs locally from a Node.js package published to the npm registry: @proofslip/mcp-server version 0.2.3. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Node.js; clients usually start it with npx — the usual command is npx -y @proofslip/mcp-server@0.2.3. It reads these environment variables: PROOFSLIP_API_KEY (required, secret) and PROOFSLIP_BASE_URL; set them in the client's configuration for this server.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

{
  "mcpServers": {
    "mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@proofslip/mcp-server@0.2.3"
      ],
      "env": {
        "PROOFSLIP_API_KEY": "<secret>",
        "PROOFSLIP_BASE_URL": "<value>"
      }
    }
  }
}

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect