Pyright is a type checker, not a LSP per se in my opinion. ty is both.
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