lean_lsp_mcp
