[akshivb]

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.