{
  "id": "mcp_io_github_vince_gonzalez_gonzalgo_36f51d16",
  "kind": "mcp",
  "category": "ferramentas",
  "name": "gonzalgo",
  "tagline": "Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.",
  "body": "Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.",
  "url": "https://github.com/vince-gonzalez/gonzalgo",
  "status": "live",
  "origin": "official",
  "origin_id": "io.github.vince-gonzalez/gonzalgo",
  "install": "",
  "source": "https://github.com/vince-gonzalez/gonzalgo",
  "transporte": "local",
  "ns": "io.github.vince-gonzalez",
  "versao": "0.5.6",
  "oficial_status": "active",
  "repo_host": "github.com",
  "topico": "devtools",
  "linguagem": "Python",
  "licenca": "Apache-2.0",
  "repo_topics": " axiom-of-choice ci constructive-mathematics dependency-analysis formal-verification lean lean4 mathlib metamath proof-assistant static-analysis theorem-proving ",
  "repo_slug": "vince-gonzalez/gonzalgo",
  "stars": 2,
  "forks": 0,
  "prs_abertos": 0,
  "pushed_at": "2026-09-11T05:43:45Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 22744,
  "readme_api": "https://agentalog.com/api/listings/mcp_io_github_vince_gonzalez_gonzalgo_36f51d16/readme",
  "readme_fonte": "repo",
  "created_at": "2026-09-11 06:04:33",
  "updated_at": "2026-09-11 06:04:33",
  "mine": false,
  "api": "https://agentalog.com/api/listings/mcp_io_github_vince_gonzalez_gonzalgo_36f51d16",
  "go": "https://agentalog.com/api/go/mcp_io_github_vince_gonzalez_gonzalgo_36f51d16",
  "comments_api": "https://agentalog.com/api/listings/mcp_io_github_vince_gonzalez_gonzalgo_36f51d16/comments",
  "readme_sha": "209f7c913363b30a8bd5ce0fdecaa4ecfd898b7168efb16484e446ee1e6e352a",
  "readme_em": "2026-09-14 00:35:31",
  "payload": {
    "name": "io.github.vince-gonzalez/gonzalgo",
    "title": "gonzalgo",
    "version": "0.5.6",
    "remotes": [],
    "packages": [
      {
        "registryType": "pypi",
        "identifier": "gonzalgo",
        "version": "0.5.6"
      }
    ],
    "official_status": "active"
  },
  "volatil_em": "2026-09-14 03:05:27"
}