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.

接入你的智能体

添加此服务器

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

在 PlugMCP 上运行

用我们的密钥与日志托管一份副本。

这是你新建的服务器，不是此条目的官方端点。若要用发布方的 URL 与凭证，请使用上方安装面板。

启动

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.