GitHub repository: matangover/mypyls
Primary language: Python
Description: Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.