GitHub - dropbox/mypy-PyCharm-plugin: A simple plugin that allows running mypy from PyCharm and navigate between errors
A simple plugin that allows running mypy from PyCharm and navigate between errors - dropbox/mypy-PyCharm-plugin