Servidor MCP
gonzalgo
io.github.vince-gonzalez/gonzalgo
Qué hace este MCP
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Capacidades
Herramientas
0
herramientas
Los metadatos de las herramientas no están disponibles públicamente.
MCP Radar todavía no ha obtenido herramientas de este servidor.