I have always used MyPy but I have noticed some large open source projects adopt Pyright as of late. The folks behind ruff and uv are currently working on a type checker as well but haven't heard when they plan on releasing it.
Code Name is Red Knot: https://github.com/astral-sh/ruff/discussions/12143