Server Not Found

The MCP server "ooo0ooo/lean-lsp-mcp" could not be found.