Serveur MCP
gonzalgo
io.github.vince-gonzalez/gonzalgo
Ce que fait ce MCP
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.