io.github.vince-gonzalez/gonzalgo · v0.5.6 · developer-tools
gonzalgo is a local (stdio) package with no hosted endpoint.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Repository · Website · JSON · Add to my inventory
| Users (last 30 days) | 0 |
| Handshake | Local |
| Auth needed | – |
| Tool count | – |
| Latency | – |
| Last checked (UTC) | never |
No checks yet.
Tools are listed after a successful handshake.