Active filters:
language server protocol
Clear all
LL

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...