microsoft/pyright

Pyright is a static type checker for Python, built by Microsoft. A static type checker reads your code before it runs and warns you about type errors, for instance, if you pass a number to a function that expects a string, or if you try to call a method that doesn't exist on a value. This helps catch bugs early without having to actually run the program. Pyright is designed for high performance and is suitable for large Python codebases. It follows Python's standards for type annotations, the hints you can add to your code to describe what types variables and function arguments should be. It comes in two forms: a command-line tool you can run in a terminal, and an extension for Visual Studio Code, Microsoft's popular code editor. There is also a Pyright Playground at pyright-play.net where you can try it directly in a browser without installing anything. Configuration, installation, and usage details are covered in the documentation at microsoft.github.io/pyright. For temporary file handling in remote environments, you can set the PYRIGHT_TMPDIR environment variable to specify where Pyright stores its temporary files. Questions and community discussion happen in the GitHub Discussions section, and bugs or feature requests can be filed in the Pyright or Pylance issue trackers. The project is open to contributions and follows the Microsoft Open Source Code of Conduct.