MCP servers
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
gonzalgo · pypi 0.5.6 · stdio
claude mcp add --transport stdio gonzalgo -- uvx gonzalgo==0.5.6Server details
- Registry name
- io.github.vince-gonzalez/gonzalgo
- Version
- 0.5.6
- Registry status
- active
