The answer
ProofStream
Top verified match: it matches your intent.
fresh · published 71d ago · verified 2026-07-11tested · static-verifiedsigned passport ✓score 35/100
claude mcp add ProofStream -- npx -y proofstream-mcp
Runners-up
- ProofStream MCP Servernot yet verified8/100 · weaker match