LeanWarp for Claude Desktop
io.github.isagoge-labs/leanwarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
client:Claude Desktop
transport:stdio
runtime:pypi
Install LeanWarp in Claude Desktop
~/Library/Application Support/Claude/claude_desktop_config.json · windows: %APPDATA%\Claude\claude_desktop_config.json
{
"mcpServers": {
"leanwarp": {
"command": "uvx",
"args": [
"leanwarp"
],
"env": {
"LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
}
}
}
}Settings → Developer → Edit Config opens this file. Restart the app after saving. Claude Desktop docs