io.github.malikabyl/proven

Proven

Is the Proven MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-04.

Judge AI-written Python: no invented packages or calls, no facts from memory, verified LLM output.

alive probed 2026-11-14 · unchanged since 2026-11-04

3tools

457tokens in Claude Opus 5.5

0.2 %of Claude's 200k window

0.2×the median server

353 msto initialize

2 msto list tools

Run it: uvx proven-judge@0.2.0 (stdio, probed in a container with the network off)
Host: pypi.org
Reports itself as: proven 0.2.0
Capabilities: tools
Instructions: 288 characters
Of a 1M window: <0.1 % of a 1M context window
Count: 457 tokens in Claude Opus 5.5, exact, measured 2026-11-04. With the Claude Code prefix mcp__…__ on each tool name: 478. The o200k_base estimate is 270. Counted again when the tool definitions change. Method.
Repository: https://github.com/malikabyl/proven
Registry: active, updated 2026-11-03 · 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.69×.

Tool	≈ Claude tokens	o200k estimate	Share of this server
proven_check	284	168	62 %
proven_explain	113	67	25 %
proven_rules	59	35	13 %

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

Servers that mention proven.

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

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