{
  "id": "mcp_com_axiomatic_ai_prover_f181567d",
  "kind": "mcp",
  "category": "ferramentas",
  "name": "com.axiomatic-ai/prover",
  "tagline": "Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.",
  "body": "Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.",
  "url": "https://prover.axiomatic-ai.com/mcp/",
  "status": "live",
  "origin": "official",
  "origin_id": "com.axiomatic-ai/prover",
  "install": "https://prover.axiomatic-ai.com/mcp/",
  "source": "https://github.com/Axiomatic-AI/ax-prover-base-mcp",
  "transporte": "http",
  "ns": "com.axiomatic-ai",
  "versao": "0.1.0",
  "oficial_status": "active",
  "repo_host": "github.com",
  "topico": "",
  "linguagem": "",
  "licenca": "",
  "repo_topics": "",
  "repo_slug": "axiomatic-ai/ax-prover-base-mcp",
  "stars": 0,
  "forks": 0,
  "prs_abertos": 0,
  "pushed_at": "2026-03-01T21:28:56Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 1274,
  "readme_api": "https://agentalog.com/api/listings/mcp_com_axiomatic_ai_prover_f181567d/readme",
  "readme_fonte": "repo",
  "created_at": "2026-08-29 03:01:00",
  "updated_at": "2026-08-29 03:01:00",
  "mine": false,
  "api": "https://agentalog.com/api/listings/mcp_com_axiomatic_ai_prover_f181567d",
  "go": "https://agentalog.com/api/go/mcp_com_axiomatic_ai_prover_f181567d",
  "comments_api": "https://agentalog.com/api/listings/mcp_com_axiomatic_ai_prover_f181567d/comments",
  "readme_sha": "2a93c2e9e3db2ad877b7f52ec650a777d94149859e95a874350f0575440173b0",
  "readme_em": "2026-08-31 00:30:05",
  "payload": {
    "name": "com.axiomatic-ai/prover",
    "title": "",
    "version": "0.1.0",
    "remotes": [
      {
        "type": "streamable-http",
        "url": "https://prover.axiomatic-ai.com/mcp/"
      }
    ],
    "packages": [],
    "official_status": "active"
  },
  "volatil_em": "2026-09-13 19:01:51"
}