GitHub repository: petergaultney/pylsp-mypy
Description: Mypy plugin for the Python LSP Server.