Pyright is also an lsp, it implements the LSP spec, it is just slow.

Not that slow tbh, although compared to ty, it’s a snail