Lean LSP MCP
Integrate FlowHunt with the Lean LSP MCP server to empower AI agents in automating Lean mathematical proofs, providing advanced diagnostics, auto proofing, code...
4 min read
AI
Lean
+4
Theorem Proving
Integrate FlowHunt with the Lean LSP MCP server to empower AI agents in automating Lean mathematical proofs, providing advanced diagnostics, auto proofing, code...