MCP Server
gonzalgo
io.github.vince-gonzalez/gonzalgo
What this MCP does
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.