{"data":{"name":"io.github.vince-gonzalez/gonzalgo","title":"gonzalgo","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","version":"0.5.6","websiteUrl":"https://f-keys.com/gonzalgo/","repositoryUrl":"https://github.com/vince-gonzalez/gonzalgo","remotes":[],"packages":[{"version":"0.5.6","identifier":"gonzalgo","runtimeHint":"stdio","registryType":"pypi","runtimeArguments":null,"environmentVariables":null}],"status":"active","isLatest":true,"source":"official-registry","verification":"official","confidence":100,"stars":null,"sources":[{"stars":null,"title":"gonzalgo","source":"official-registry","sourceId":"io.github.vince-gonzalez/gonzalgo","updatedAt":"2026-09-11T06:02:18.277Z","confidence":100,"websiteUrl":"https://f-keys.com/gonzalgo/","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","verification":"official","repositoryUrl":"https://github.com/vince-gonzalez/gonzalgo"}],"publishedAt":"2026-09-11T06:02:18.277Z","updatedAt":"2026-09-11T06:02:18.277Z","resourceType":"mcp-server","callable":false,"runtime":{"callable":false,"protocols":["mcp"]},"interfaces":[{"protocol":"mcp","package":"gonzalgo","registryType":"pypi","version":"0.5.6"}],"profile":{"apiVersion":"1","schemaVersion":"1","id":"mcp-server:io.github.vince-gonzalez%2Fgonzalgo","resourceType":"mcp-server","canonicalUrl":"https://www.agentsjunction.com/api/v1/servers/io.github.vince-gonzalez%2Fgonzalgo","name":"io.github.vince-gonzalez/gonzalgo","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","interfaces":[{"protocol":"mcp","package":"gonzalgo","registryType":"pypi","version":"0.5.6"}],"capabilities":[],"identity":{"source":"official-registry","websiteUrl":"https://f-keys.com/gonzalgo/","repositoryUrl":"https://github.com/vince-gonzalez/gonzalgo","version":"0.5.6"},"verification":{"state":"official","confidence":100},"operations":{"resourceType":"mcp-server","name":"io.github.vince-gonzalez/gonzalgo","status":"unknown","lastCheckedAt":null,"lastSuccessfulCheck":null,"latencyMs":null,"consecutiveFailures":0,"isStale":false,"checks":{"endpointReachable":null,"protocolValid":null,"agentCardValid":null,"mcpHandshakeValid":null},"lastSeen":null,"lastSuccessfulInteraction":null,"lastHealthCheck":null,"source":{"type":"health-check","url":null},"observedAt":null},"security":null,"timestamps":{"createdAt":"2026-09-11T06:02:18.277Z","updatedAt":"2026-09-11T06:02:18.277Z","observedAt":null},"compatibility":{"serverVersion":"0.5.6","protocolVersions":[{"protocol":"mcp","version":null}]}}}}