GitHub repository: nateschickler-puzzle/mypy-pycharm
Description: A plugin providing both real-time and on-demand scanning of Python files with Mypy from within PyCharm/IDEA.