Jedi, the excellent Python code completion library used by many editors and even ipython, now supports mypy annotations in Python 2! https://github.com/davidhalter/jedi/issues/946 🎉