microsoft/pyright

Pyright is a static type checker for Python that performs full-featured, standards-based type analysis and is designed for high performance on large codebases.

Pyright addresses the problem of catching type errors in Python before runtime by performing static analysis without executing code. It works by parsing Python source files, building a type model of the codebase, and checking that operations are consistent with declared or inferred types. The tool includes both a command-line interface for integration into build systems and a Visual Studio Code extension for real-time feedback during development.

Teams working on large Python projects benefit most from Pyright, particularly those already using type hints or planning to adopt them. The tool suits codebases where type safety is a priority and where developers want IDE-level type checking integrated into their workflow. The availability of both a standalone command-line tool and an editor extension makes it flexible for different development environments and CI/CD pipelines.

The project maintains active engagement with its community through a dedicated discussions section for questions about type checking and Python annotations. Bug reports and feature requests are tracked across two repositories, with core type checking functionality managed in the main Pyright repository while language service features are associated with a companion project, though both are monitored by the same contributors. The project accepts external contributions and requires contributors to agree to a standard contributor license agreement before merging changes.