pytype is a static type analyzer for Python code; it generates files of inferred type information, located by default in .pytype/pyi.
Brad SolomonandGitHub