listed
gonzalgo
io.github.zengineco · f-keys.com
MCP · DEPRECATED
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
MCP
Deprecated in the MCP Registry. The listing stays so you can see what changed.
local
pypi gonzalgo
uvx
ATTRIBUTION
- mcp · last seen 2026-09-24T02:56:33.033388Z · fetched 2026-09-24T02:56:33.033388Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.