Pyright: Static type checker for Python

Pyright includes both a command-line tool and a Language Server Protocol plugin for VS Code. Q: What is the difference between pyright and the Microsoft Python VS Code plugin? A: The Microsoft Python Language Server is a language server protocol (LSP) implementation that works with the Microsoft Python VS Code plugin, and it is officially supported by a team of Microsoft engineers.

Source: github.com