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