Official MCP RegistryListed
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
First seen 2 Oct 2026. Evidence as of 10 Oct 2026.
-
Tools
No tool list captured yet
1
Source listings
Each with its own history
0
Recorded changes
Since first seen
Tools
No tool list captured yet.
Change history
No changes since the first observation. The first snapshot is the baseline.
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Official MCP Registry | io.github.zengineco/gonzalgo | 2 Oct 2026 | 10 Oct 2026 | 1 |