pytype [https://github.com/google/pytype https://github.com/google/pytype] does do type inference (disclaimer - i work on it). if you supply an explicit type an

pytype [https://github.com/google/pytype https://github.com/google/pytype] does do type inference (disclaimer - i work on it). if you supply an explicit type annotation it will be checked for correctness, and if not we trace through the control flow graph to figure out the types of everything as best as we can (which does sometimes mean falling back to Any). we are working on an extension that will add the inferred types as annotations to your code.