Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Connect Runs on your machine
claude mcp add leanwarp -e LEANWARP_API_KEY=<LEANWARP_API_KEY> -- uvx leanwarp==0.2.6
{
"mcpServers": {
"leanwarp": {
"command": "uvx",
"args": [
"leanwarp==0.2.6"
],
"env": {
"LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
}
}
}
}
{
"mcpServers": {
"leanwarp": {
"command": "uvx",
"args": [
"leanwarp==0.2.6"
],
"env": {
"LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
}
}
}
}
{
"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
| Name | Description |
|---|---|
LEANWARP_API_KEYRequired, secret | Your LeanWarp API key (lw_live_...), from https://isagoge.in/dashboard?section=keys. |
Details
| Package | [email protected] (PYPI, stdio) |
| First published | 9 Nov 2026 |
| Last updated | 9 Nov 2026 |
| Registry name | io.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.
