MCP MCP server · io.github.vince-gonzalez
io.github.vince-gonzalez/gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
- host stars
- 2
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 0
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Packaged as
- pypi:gonzalgo
- Install
- uvx gonzalgo
- Version
- 0.5.6
- Last release
- 2026-09-11