io.github.vince-gonzalez/gonzalgoMCP Registry
gonzalgo
v0.5.6Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Endpoint health
unknown- Last checked
- No observation yet
- Latency
- Unknown
- Consecutive failures
- 0
Machine-readable profile
mcp-server · schema v1 · package or metadata only
mcp-server:io.github.vince-gonzalez%2Fgonzalgo