Lean 4 MCP

{
  "_meta": {
    "io.modelcontextprotocol.registry/official": {
      "status": "active",
      "isLatest": true,
      "updatedAt": "2026-11-08T10:28:21.456527Z",
      "publishedAt": "2026-11-08T10:28:21.456527Z",
      "statusChangedAt": "2026-11-08T10:28:21.456527Z"
    }
  },
  "server": {
    "name": "io.github.mrfentmen/lean-4-mcp",
    "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
    "version": "1.0.0",
    "packages": [
      {
        "version": "1.0.0",
        "transport": {
          "type": "stdio"
        },
        "identifier": "@mrfentmen/lean-4-mcp",
        "registryType": "npm"
      }
    ],
    "repository": {
      "url": "https://github.com/mrfentmen/awesome-servers",
      "source": "github"
    },
    "description": "Lean 4 MCP: 20 real tools to read, check, lint, scaffold, build and run Lean 4 code."
  }
}