io.github.Hyperion-GPU/proofflow
ProofFlow
Is the ProofFlow MCP server down? Yes. It has given no valid answer since 2026-10-16: crashed on start.
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
crashed on start down since 2026-10-16 · probed 2026-11-14 · unchanged since 2026-10-30
MCP error -32000: Connection closed AttributeError: 'Server' object has no attribute 'list_tools' File "/work/uv/proofflow-mcp/lib/python3.12/site-packages/pr
- Run it
- uvx proofflow-mcp@0.1.2 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Repository
- https://github.com/Hyperion-GPU/ProofFlow-v0.1
- Registry
- active, updated 2026-05-06 · registry entry
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- dsh-cua - Windows Computer Use io.github.Hutusion/dsh-cua · alive
- io.github.Huzy85/fantoma · timeout
- smartest-tv io.github.Hybirdss/smartest-tv · not found
- Bibverify io.github.Hylouis233/bibverify · alive
- Shortcut Forge (Apple Shortcuts MCP) io.github.Hyunki6040/shortcut-forge · alive
- io.github.HzaCode/onecite · crashed on start
- ClaudeR - RStudio MCP Server io.github.IMNMV/clauder · alive
- io.github.IONIS-AI/ionis-mcp · needs env
Servers that mention infrastructure or evidence.
- ac.snag/snag · needs auth
- AFMR Discovery ai.afmr/discovery · alive
- AIMentionTracker ai.aimentiontracker/mcp · needs auth
- ai.aqta/seal · alive
- Aviado AI ai.aviado/health · alive
- BorealHost ai.borealhost/mcp · alive
- ai.colaunched/colaunched · needs auth
- Cloud World Model ai.cloudworldmodel/cloud-world-model · 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
- No valid answer since 2026-10-16, in every probe since then.
- The process exited on start before it answered initialize. The error output is above.
The cause and the fix, with the code before and after: AttributeError: 'Server' object has no attribute 'list_tools'