ProofStream
Rank #62,971io.github.ProofStreamai/proofstream-mcp
Dispatch a human verifier to physically verify anything in the real world. For AI agents.
ProofStream is a Model Context Protocol (MCP) server. It ranks #62,971 of 137,138 servers tracked on MCP Toplist. ProofStream is listed on Official MCP, with 1 tracked version. It was first listed on May 6, 2026 and most recently updated on May 6, 2026.
Ranks ahead of 74,167 of 137,138 servers on MCP Toplist.
Use ProofStream
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add proofstream-mcp -- npx -y proofstream-mcp[mcp_servers.proofstream-mcp]
command = "npx"
args = ["-y", "proofstream-mcp"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"proofstream-mcp": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"proofstream-mcp": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"proofstream-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"proofstream-mcp": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"proofstream-mcp": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.ProofStreamai%2Fproofstream-mcp)<a href="https://mcptoplist.com/server/io.github.ProofStreamai%2Fproofstream-mcp"><img src="https://mcptoplist.com/badge/io.github.ProofStreamai%2Fproofstream-mcp.svg" alt="MCP Toplist: Top 50% of 137,138" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
Available versions (1)
| Version | Published |
|---|---|
| 0.1.1 | May 6, 2026 |
Frequently asked questions
- Is ProofStream listed on the Official MCP Registry?
- Yes — ProofStream is listed on the Official MCP Registry.
- How many versions does ProofStream have?
- MCP Toplist tracks 1 version of ProofStream, most recently published on May 6, 2026.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.