LeanWarp for Grok
io.github.isagoge-labs/leanwarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
client:Grok
transport:stdio
runtime:pypi
Install LeanWarp in Grok
.mcp.json (in your project root)
{
"mcpServers": {
"leanwarp": {
"type": "stdio",
"command": "uvx",
"args": [
"leanwarp"
],
"env": {
"LEANWARP_API_KEY": "<LEANWARP_API_KEY>"
}
}
}
}Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs