ProofStream MCP Server

io.github.ProofStreamai/proofstream-mcp

local only

ProofStream runs on your own machine — the client starts it, so there is no endpoint to ping. 41 installs a week from npm.

Dispatch a human verifier to physically verify anything in the real world. For AI agents.

Installs per day peak 24 · avg 6 · +11% w/w

a month agotoday

Installs / week

npm · proofstream-mcp

—

Stars

on GitHub

—

Last commit

0 releases in 90 days

—

License

language unknown

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add proofstream-mcp -- npx -y proofstream-mcp

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "proofstream-mcp": {
      "args": [
        "-y",
        "proofstream-mcp"
      ],
      "command": "npx"
    }
  }
}

~/.codex/config.toml

[mcp_servers.proofstream-mcp]
command = "npx"
args = ["-y", "proofstream-mcp"]

.cursor/mcp.json

{
  "mcpServers": {
    "proofstream-mcp": {
      "args": [
        "-y",
        "proofstream-mcp"
      ],
      "command": "npx"
    }
  }
}

.vscode/mcp.json

{
  "mcpServers": {
    "proofstream-mcp": {
      "args": [
        "-y",
        "proofstream-mcp"
      ],
      "command": "npx"
    }
  }
}

ProofStream — questions

Answers built from our own checks of this server.

Why is there no uptime for ProofStream?

ProofStream runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the npm package proofstream-mcp was installed 41 times last week.

How do I connect ProofStream?

Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls proofstream-mcp straight from npm; nothing to host, nothing to sign up for.

How many people use ProofStream?

The npm package proofstream-mcp was installed 41 times in the last week. Week over week that is +11%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.