dropbox /mypy-PyCharm-pluginJava31916A simple plugin that allows running mypy from PyCharm and navigate between errorsmypypycharmpythontyping