{"id":"9be06fbf-47f2-413c-94a0-393f625dcf18","shortId":"BXJUYy","kind":"mcp","title":"gonzalgo","tagline":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","tags":["github","vince","gonzalez","gonzalgo"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.vince-gonzalez%2Fgonzalgo","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on anthropic_mcp","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-09-18T07:27:02.189Z","embedding":null,"createdAt":"2026-09-11T06:36:51.574Z","updatedAt":"2026-09-18T07:27:02.189Z","lastSeenAt":"2026-09-18T07:27:02.189Z","tsv":"'4':7,23 'axiom':17,33 'check':5,21 'compil':15,31 'gonzalgo':1 'inherit':13,29 'lean':6,22 'mcp' 'metamath':9,25 'proof':10,26 'report':2,18 'rest':11,27 'sorri':14,30 'transport-stdio' 'trust':16,32","prices":[{"id":"48a48d9a-8025-4364-a170-6b2bea66fc5d","listingId":"9be06fbf-47f2-413c-94a0-393f625dcf18","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-09-11T06:36:51.574Z"}],"sources":[{"listingId":"9be06fbf-47f2-413c-94a0-393f625dcf18","source":"anthropic_mcp","sourceId":"io.github.vince-gonzalez/gonzalgo:0.5.6","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-09-11T06:36:51.574Z","lastSeenAt":"2026-09-18T07:27:02.189Z"}],"details":{"listingId":"9be06fbf-47f2-413c-94a0-393f625dcf18","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.5.6","transport":"stdio","server_name":"io.github.vince-gonzalez/gonzalgo","server_title":"gonzalgo"},"updatedAt":"2026-09-18T07:27:02.189Z"}}