MCP-Server
gonzalgo
io.github.vince-gonzalez/gonzalgo
Was dieses MCP kann
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Funktionen
Tools
0
Tools
Tool-Metadaten sind nicht öffentlich verfügbar.
MCP Radar hat von diesem Server noch keine Tools abgerufen.