mcpcost

io.github.ProofStreamai/proofstream-mcp

ProofStream

Is the ProofStream MCP server down? No. It answered initialize and tools/list in the probe of 2026-10-30.

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

alive probed 2026-11-14 · unchanged since 2026-10-30

3tools
1.4ktokens in Claude Opus 5.5
0.7 %of Claude's 200k window
0.6×the median server
305 msto initialize
6 msto list tools
Run it
npx -y proofstream-mcp@0.1.1 (stdio, probed in a container with the network off)
Host
npmjs.com
Reports itself as
proofstream 0.1.0
Capabilities
tools
Instructions
none
Of a 1M window
0.1 % of a 1M context window
Count
1.4k tokens in Claude Opus 5.5, exact, measured 2026-10-16. With the Claude Code prefix mcp__…__ on each tool name: 1.5k. The o200k_base estimate is 815. Counted again when the tool definitions change. Method.
Registry
active, updated 2026-05-06 · registry entry

Most expensive tools

The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.76×.

Tool≈ Claude tokenso200k estimateShare of this server
proofstream_submit_request1 07861475 %
proofstream_check_status29016520 %
proofstream_get_pricing63364 %

Compare this server with others.

More servers

Other registry entries on npmjs.com, the ones next to this name; all of them.

Servers that mention physically or anything.

Badge for the README

mcpcost: alive

The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.

Atom feed

A mail when this server changes

Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.

For the publisher