NestDaddy

LeanWarp

io.github.Isagoge-Labs/leanwarp · v0.2.6

Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.

Connect Runs on your machine

Terminal
claude mcp add leanwarp -e LEANWARP_API_KEY=<LEANWARP_API_KEY> -- uvx leanwarp==0.2.6
claude_desktop_config.json
{
  "mcpServers": {
    "leanwarp": {
      "command": "uvx",
      "args": [
        "leanwarp==0.2.6"
      ],
      "env": {
        "LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
      }
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "leanwarp": {
      "command": "uvx",
      "args": [
        "leanwarp==0.2.6"
      ],
      "env": {
        "LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "leanwarp": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "leanwarp==0.2.6"
      ],
      "env": {
        "LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

NameDescription
LEANWARP_API_KEY
Required, secret
Your LeanWarp API key (lw_live_...), from https://isagoge.in/dashboard?section=keys.

Details

Package[email protected] (PYPI, stdio)
First published9 Nov 2026
Last updated9 Nov 2026
Registry nameio.github.Isagoge-Labs/leanwarp

More other servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.