← all MCP servers
gonzalgo
io.github.vince-gonzalez/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.6
- license
- Apache-2.0
- stars
- 2
- last commit
- 2026-09-11
- published
- 2026-09-11
last synced 2026-09-11