io.github.EssenceAlignment/pdf-form-proof
PDF Form Proof
Is the PDF Form Proof MCP server down? No. It answered initialize and tools/list in the probe of 2026-10-26.
Fill fillable PDF forms, then prove every value is visible on the rendered page.
alive probed 2026-11-14 · unchanged since 2026-10-26
- Run it
- uvx pdf-form-proof@0.1.1 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Reports itself as
- pdf-form-proof 1.30.0
- Capabilities
- experimental, prompts, resources, tools
- Instructions
- 459 characters
- Of a 1M window
- 0.1 % of a 1M context window
- Count
- 1.2k tokens in Claude Opus 5.5, exact, measured 2026-10-26. With the Claude Code prefix mcp__…__ on each tool name: 1.2k. The o200k_base estimate is 683. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/EssenceAlignment/pdf-form-proof
- Website
- https://github.com/EssenceAlignment/pdf-form-proof
- Registry
- active, updated 2026-10-23 · 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.73×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| pdf_form_verify | 468 | 270 | 40 % |
| pdf_form_fill | 438 | 253 | 37 % |
| pdf_form_inspect | 177 | 102 | 15 % |
| pdf_sha256 | 100 | 58 | 8 % |
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- Text to Speech io.github.Engr-FaizanAli/text-to-speech · alive
- AVEL io.github.Ensi81/avel · crashed on start
- io.github.Epochal-dev/open-notebook · needs mcp<2
- Conning io.github.EranYonai/conning · alive
- ApplyGenie io.github.Eternalcodertanishq3/applygenie-mcp · install failed
- io.github.Euda1mon1a/koa-fhe · install failed
- DevReady io.github.Evalogical-Inc/devready · alive
- io.github.Evil-Bane/eyebrowse · needs mcp<2
Servers that mention proof.
- CoinGraph ai.coingraph/coingraph · needs auth
- Council of AI GSPC (free) ai.councilof/gspc-free · alive
- ai.geodesiclabs/governance-platform · alive
- SpecProof ai.specproof/specproof-mcp · alive
- ai.tachyo/verify · alive
- Verant ai.verant/verant · needs auth
- Taste app.humantaste/taste-mcp · alive
- HourProof — volunteer/service hour ledger (no AI) app.rowb.hourproof/hours · alive
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
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
- The server answers initialize and tools/list. Nothing to fix.