Even better, run `mypy` as part of your LSP setup and you don't even need to wait to run `mypy` to see type errors! If I make a mistake I want to be notified immediately.
I'm satisfied with Mypy but curious to someday try other type checkers. Pyright is on the list.