LeanWarp

io.github.Isagoge-Labs/leanwarp

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "leanwarp": {
      "command": "uvx",
      "args": [
        "leanwarp"
      ],
      "env": {
        "LEANWARP_API_KEY": "<your LEANWARP_API_KEY>"
      }
    }
  }
}
Environment variables
  • LEANWARP_API_KEYrequiredsecretYour LeanWarp API key (lw_live_...), from https://isagoge.in/dashboard?section=keys.

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.2.5
Registry
active
Published
11/6/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.IsaiahDupree/calendar-bridge

IsaiahDupree

Connects ChatGPT to your Apple Calendar via a local Mac agent + Vercel relay

Developer ToolsAdded 3 months ago

io.github.IsaiahDupree/commercebridge

IsaiahDupree

Remote MCP connector for eBay, Shopify, Best Buy & Etsy marketplace data via the Commerce API

Developer ToolsAdded 3 months ago

io.github.IsaiahDupree/devstack-mcp

IsaiahDupree

Dev-registry data: npm/PyPI/Docker/VS Code packages, dep graphs, vulns, 50+ ecosystems.

Developer ToolsAdded 3 months ago

io.github.IsaiahDupree/jobstack-mcp

IsaiahDupree

Unified jobs search over official feeds + ATS boards (USAJOBS, Adzuna, Muse, Greenhouse, Lever...)

Developer ToolsAdded 3 months ago

io.github.IsaiahDupree/messages-bridge

IsaiahDupree

MCP connector for iMessage & Contacts via a local Mac agent + Vercel relay

Developer ToolsAdded 3 months ago

io.github.IsaiahDupree/notesbridge

IsaiahDupree

Search, read, and write your Apple Notes from ChatGPT/Claude via a local Mac agent + MCP relay.

Developer ToolsAdded 3 months ago

Add the badge to your site

Show visitors that LeanWarp is listed here — it’s also the link we check for a free listing.

LeanWarp — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-isagoge-labs-leanwarp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="LeanWarp — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![LeanWarp — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-isagoge-labs-leanwarp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.