Grouped under gonzalgo by zengineco: same repository.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Listed on
First seen 2 Oct 2026. One server, whatever directories list it: each directory listing keeps its own page and history.
1
Directories
Collected by InvokeRank
-
Tools
No tool list captured yet
-
ToolBench grade
Not graded by Arcade
-
GitHub stars
No repository data
Tools
No tool list captured yet.
| Directory | Listing | Tier | First seen |
|---|---|---|---|
| Official MCP Registry | gonzalgo | - | 2 Oct 2026 |