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