LeanWarp for Claude Code

io.github.isagoge-labs/leanwarp

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

client:Claude Code transport:stdio runtime:pypi

Install LeanWarp in Claude Code

run in your project directory

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

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