ProofStream for Claude Code

io.github.proofstreamai/proofstream-mcp

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

client:Claude Code transport:stdio runtime:npm

Install ProofStream in Claude Code

run in your project directory

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

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs