There are many tools that accomplish static analysis in python. mypy is the original, but pyre(meta), pytype(google), and pyright(microsoft) are alternatives which make different trade offs.
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.
I suspect/predict Ruff will get into the type-checking business someday :)