Mypy is the most correct and flexible type checker I’ve found. Pyright is great for auto complete in VSCode though, so I use both.

The Google and Facebook options aren’t well supported.