{
  "id": "mcp_io_github_archerkattri_mathlas_a7561b3d",
  "kind": "mcp",
  "category": "ferramentas",
  "name": "io.github.Archerkattri/mathlas",
  "tagline": "Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.",
  "body": "Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.",
  "url": "https://github.com/Archerkattri/mathlas",
  "status": "live",
  "origin": "official",
  "origin_id": "io.github.Archerkattri/mathlas",
  "install": "",
  "source": "https://github.com/Archerkattri/mathlas",
  "transporte": "local",
  "ns": "io.github.archerkattri",
  "versao": "1.5.0",
  "oficial_status": "active",
  "repo_host": "github.com",
  "topico": "ai",
  "linguagem": "Python",
  "licenca": "Apache-2.0",
  "repo_topics": " ai-tools claude formal-verification lean4 math mcp-server retrieval theorem-search ",
  "repo_slug": "archerkattri/mathlas",
  "stars": 12,
  "forks": 1,
  "prs_abertos": 0,
  "pushed_at": "2026-07-25T01:10:07Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 28571,
  "readme_api": "https://agentalog.com/api/listings/mcp_io_github_archerkattri_mathlas_a7561b3d/readme",
  "readme_fonte": "repo",
  "created_at": "2026-08-29 03:01:42",
  "updated_at": "2026-08-29 03:01:42",
  "mine": false,
  "api": "https://agentalog.com/api/listings/mcp_io_github_archerkattri_mathlas_a7561b3d",
  "go": "https://agentalog.com/api/go/mcp_io_github_archerkattri_mathlas_a7561b3d",
  "comments_api": "https://agentalog.com/api/listings/mcp_io_github_archerkattri_mathlas_a7561b3d/comments",
  "readme_sha": "b44bd6b95b0fb2ecc7278da350c42052ab9aad66607c3fb1a317959416f89a40",
  "readme_em": "2026-08-30 20:42:29",
  "payload": {
    "name": "io.github.Archerkattri/mathlas",
    "title": "",
    "version": "1.5.0",
    "remotes": [],
    "packages": [
      {
        "registryType": "pypi",
        "identifier": "mathlas-mcp",
        "version": "1.5.0"
      }
    ],
    "official_status": "active"
  },
  "volatil_em": "2026-09-14 01:03:18"
}