How do I install ProofStream?

Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does ProofStream need an API key?

No required environment variable is listed on this record.

What transport does ProofStream use?

ProofStream runs locally over stdio.

ProofStream

by io.github.ProofStreamai

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

Power your agent

Add this server

The publisher's own command. Not a PlugMCP endpoint.

Local command

npx -y [email protected]

Provider

Claude Code

claude mcp add io.github.proofstreamai-proofstream-mcp -- npx -y [email protected]

Run in a terminal.

Claude Desktop

{
  "mcpServers": {
    "io.github.proofstreamai-proofstream-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ]
    }
  }
}

claude_desktop_config.json

Step-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch

Related MCP

Related skills

View all

Questions

How do I install ProofStream?: Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
Does ProofStream need an API key?: No required environment variable is listed on this record.
What transport does ProofStream use?: ProofStream runs locally over stdio.
When was ProofStream last checked?: Last checked 2026-10-16. Dispatch a human verifier to physically verify anything in the real world. For AI agents.

README is not crawled yet. No repository on file.