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