lean-mcpDeveloper ToolsEducation & Learning ToolsKrystianYCSilvaAlicense-qualityDmaintenanceEnables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib. Last updated 2026-02-211MIT