зеркало из https://github.com/microsoft/pyright.git
README.md
Static type checker for Python
Pyright is a full-featured, standards-compliant static type checker for Python. It is designed for high performance and can be used with large Python source bases.
Pyright includes a command-line tool, a language server, and an extension for Visual Studio Code.