{
  "id": "mcp_io_github_sandraschi_leanforge_mcp_f0855765",
  "kind": "mcp",
  "category": "ferramentas",
  "name": "io.github.sandraschi/leanforge-mcp",
  "tagline": "MCP server for AI-driven formal proof search in Lean 4",
  "body": "MCP server for AI-driven formal proof search in Lean 4",
  "url": "https://github.com/sandraschi/leanforge-mcp",
  "status": "live",
  "origin": "official",
  "origin_id": "io.github.sandraschi/leanforge-mcp",
  "install": "",
  "source": "https://github.com/sandraschi/leanforge-mcp",
  "transporte": "local",
  "ns": "io.github.sandraschi",
  "versao": "0.1.0",
  "oficial_status": "active",
  "repo_host": "github.com",
  "topico": "",
  "linguagem": "Python",
  "licenca": "MIT",
  "repo_topics": " ai-assisted-proving alphaproof fastmcp formal-verification lean-language lean4 mathlib mcp proof-search theorem-proving ",
  "repo_slug": "sandraschi/leanforge-mcp",
  "stars": 0,
  "forks": 0,
  "prs_abertos": 0,
  "pushed_at": "2026-09-06T13:29:29Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 8108,
  "readme_api": "https://agentalog.com/api/listings/mcp_io_github_sandraschi_leanforge_mcp_f0855765/readme",
  "readme_fonte": "repo",
  "created_at": "2026-08-29 04:01:21",
  "updated_at": "2026-08-29 04:01:21",
  "mine": false,
  "api": "https://agentalog.com/api/listings/mcp_io_github_sandraschi_leanforge_mcp_f0855765",
  "go": "https://agentalog.com/api/go/mcp_io_github_sandraschi_leanforge_mcp_f0855765",
  "comments_api": "https://agentalog.com/api/listings/mcp_io_github_sandraschi_leanforge_mcp_f0855765/comments",
  "readme_sha": "14c18edd7ddb1cea438b4242d6fbfc6dbf04eb17d0a515dbbcc3bff09cb81132",
  "readme_em": "2026-08-31 12:24:12",
  "payload": {
    "name": "io.github.sandraschi/leanforge-mcp",
    "title": "",
    "version": "0.1.0",
    "remotes": [],
    "packages": [
      {
        "registryType": "mcpb",
        "identifier": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb"
      }
    ],
    "official_status": "active"
  },
  "volatil_em": "2026-09-13 19:01:51"
}