{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.zengineco/gonzalgo","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","title":"gonzalgo","repository":{"url":"https://github.com/zengineco/gonzalgo","source":"github"},"version":"0.5.2","websiteUrl":"https://f-keys.com/gonzalgo/","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"gonzalgo","version":"0.5.2","runtimeHint":"uvx","transport":{"type":"stdio"},"runtimeArguments":[{"description":"The MCP server lives behind an optional dependency so the analysis tools stay dependency-light for CLI-only users.","isRequired":true,"value":"gonzalgo[mcp]","type":"named","name":"--from"}],"packageArguments":[{"description":"Starts the stdio server. Without it the binary runs the analysis CLI.","isRequired":true,"value":"mcp","type":"positional"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-05T21:46:54.731806Z","publishedAt":"2026-08-05T21:46:54.731806Z","updatedAt":"2026-08-05T21:46:54.731806Z","isLatest":true}}}],"metadata":{"count":1}}