Skip to content
mcp/harbor
Verified official

LeanWarp MCP

v0.2.6 changelog · 1

io.github.isagoge-labs/leanwarp

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

transport:stdio runtime:pypi
View source Website

Target client

run in your project directory

Held in this page only — never stored, logged, or sent anywhere but back to your screen. 

claude mcp add leanwarp -e LEANWARP_API_KEY=<LEANWARP_API_KEY> -- uvx leanwarp

setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok LangChain

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.