lean-lsp-mcp