pytype (pypi): Python type inferencer
Keywords: linter|python|static-analysis|static-code-analysis|typechecker|types|typing