pyanalyze (pypi): A static analyzer for Python
Keywords: quora|static|analysis|linter|python|static-analysis|typechecker|types|typing