← all MCP servers
gonzalgo
io.github.zengineco/gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
install
pypi · stdio
uvx gonzalgo
details
- version
- 0.5.2
- license
- Apache-2.0
- stars
- 2
- last commit
- 2026-08-06
- published
- 2026-08-05
last synced 2026-08-06