ProofStream MCP Server
io.github.ProofStreamai/proofstream-mcpv0.1.1
Dispatch a human verifier to physically verify anything in the real world. For AI agents.
context tax
queued
security
queued
cold start
queued
freshness
Slowing5mo ago
Install ProofStream MCP server
Install in Claude Code
claude mcp add proofstream -- npx -y proofstream-mcpInstall in Cursor
{
"mcpServers": {
"proofstream": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"proofstream": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"proofstream": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"proofstream": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Slowing — last maintenance signal 5mo ago. The newest of the signals below sets the band.
Last commit (default branch)
no data · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-05-06 · 5mo ago · official registry · v0.1.1
FAQ
›How do I install the ProofStream MCP server in Claude Code?
Run: claude mcp add proofstream -- npx -y proofstream-mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does ProofStream require an API key?
No required environment variables are declared in its published metadata.
›Can I use ProofStream as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is ProofStream in the official MCP registry?
Yes, as io.github.ProofStreamai/proofstream-mcp.