MCPquality 0.30
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Price
free
Protocol
mcp
Verified
no
Endpoint
mcp://anthropic_mcp/io.github.vince-gonzalez%2Fgonzalgo
Capabilities
mcptransport-stdio
Server
URLmcp://anthropic_mcp/io.github.vince-gonzalez%2Fgonzalgo
Transportstdio
Protocolmcp
Quality
0.30/ 1.00
deterministic score 0.30 from registry signals: · indexed on anthropic_mcp
Provenance
Indexed fromanthropic_mcp
Enriched2026-09-18 07:27:02Z · deterministic:mcp:v1 · v1
First seen2026-09-11
Last seen2026-09-18