Skip to main content

gonzalgo

io.github.vince-gonzalez/gonzalgoVersion 0.5.6

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Status

Not checkedWe do not check this entry.

Registry data may be out of date

We could not refresh it, so this page shows the last copy.
Last checked
Not checked yet
Latency
Not measured
Remotes responding
Not checked yet
Sign-in
Unknown
Hosting
Hosting unknown
Registry data as of
Nov 14, 2026, 22:14 UTC

Data from the official MCP Registry, checked by run.zero. How we check

Connect

Streamable HTTP
pypi: gonzalgo 0.5.6
Package only

PyPI (uvx)

claude mcp add gonzalgo -- uvx gonzalgo==0.5.6

Built your own server? run.zero hosts MCP servers on European infrastructure.

Host your own MCP server on run.zero

Tools

No tool list available.

Details

Registry status
Active
Published
Sep 11, 2026
Updated
Sep 11, 2026
Website
https://f-keys.com/gonzalgo/⁠ (opens in a new tab)
Repository
https://github.com/vince-gonzalez/gonzalgo⁠ (opens in a new tab)
Categories (suggested)
Developer toolsSuggested categories are assigned automatically from the registry text and may be wrong. Verified operators can correct them.
GDPR
Not declared

Are you the operator? Claim this listing