HotStack

← Back to browse

ProofStream

Indexed by io.github.ProofStreamai

About

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

Use this server

Add it to your MCP client. The catalogue lists this config verbatim from its source — it does not run, download, or vouch for the server. Review the command before you run it.

Transportstdio (runs a local command)
Claude Code 
claude mcp add proofstream-mcp -- npx proofstream-mcp
Cursor

Add to Cursor

If the button doesn't open Cursor, use the JSON below — Cursor accepts the same mcpServers config.

VS Code 
code --add-mcp '{"name":"proofstream-mcp","command":"npx","args":["proofstream-mcp"]}'
JSON 
{
  "mcpServers": {
    "proofstream-mcp": {
      "command": "npx",
      "args": [
        "proofstream-mcp"
      ]
    }
  }
}