GitHub A static type checker for Python. A part of Pylance. I use it as a command-line tool apart from Pylance as well.