Fortunately, there are competing LSPs of reasonable quality now. I'm using pyrefly. Not sure if ty/ruff have one too.

Did not know about this, thanks. Now I don't have to do half of my development in Zed and half in VSCodium :)

This very company being acquired (astral) is up to fix this, by making the ty lsp server available

basedpyright has existed for years and now we have pyrefly from meta too. I think ty is also working on one.