Lean LSP MCP server for agentic interaction with the Lean theorem prover via LSP.
The lean-lsp-mcp is a Model Context Protocol (MCP) server that allows agentic interaction with the Lean theorem prover v...
The lean-lsp-mcp is a Model Context Protocol (MCP) server that allows agentic interaction with the Lean theorem prover v...