ProofStream
MCPby ProofStreamai · v0.1.1
Dispatch a human verifier to physically verify anything in the real world. For AI agents.
mcplocal
MCP configuration
stdio
Command
npx -y proofstream-mcp@0.1.1
Install in one click with Zurek
Browse here, install from the native macOS app — pick targets, fill env vars, and write configs safely.