Mypy plugin for the Python Language Server - View it on GitHub