{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"stdio"},"description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","name":"io.github.vince-gonzalez/gonzalgo","packages":[{"environmentVariables":[],"identifier":"gonzalgo","registryType":"pypi","transport":{"type":"stdio"},"version":"0.5.6"}],"repository":{"source":"github","url":"https://github.com/vince-gonzalez/gonzalgo"},"title":"gonzalgo","version":"0.5.6","websiteUrl":"https://f-keys.com/gonzalgo/"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T04:00:02Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T04:00:02Z"}}}