LeanWarp

{
  "_meta": {
    "io.modelcontextprotocol.registry/official": {
      "status": "active",
      "isLatest": true,
      "updatedAt": "2026-11-06T01:15:39.318824Z",
      "publishedAt": "2026-11-06T01:15:39.318824Z",
      "statusChangedAt": "2026-11-06T01:15:39.318824Z"
    }
  },
  "server": {
    "name": "io.github.Isagoge-Labs/leanwarp",
    "title": "LeanWarp",
    "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
    "version": "0.2.5",
    "packages": [
      {
        "version": "0.2.5",
        "transport": {
          "type": "stdio"
        },
        "identifier": "leanwarp",
        "runtimeHint": "uvx",
        "registryType": "pypi",
        "registryBaseUrl": "https://pypi.org",
        "packageArguments": [
          {
            "name": "--project",
            "type": "named",
            "format": "filepath",
            "isRequired": true,
            "description": "Absolute path to the Lean project directory to check."
          },
          {
            "type": "positional",
            "value": "mcp"
          }
        ],
        "environmentVariables": [
          {
            "name": "LEANWARP_API_KEY",
            "format": "string",
            "isSecret": true,
            "isRequired": true,
            "description": "Your LeanWarp API key (lw_live_...), from https://isagoge.in/dashboard?section=keys."
          }
        ]
      }
    ],
    "repository": {
      "id": "1447677520",
      "url": "https://github.com/Isagoge-Labs/LeanWarp-SDK",
      "source": "github"
    },
    "websiteUrl": "https://isagoge.in/leanwarp",
    "description": "Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers."
  }
}