Pyright is a static type checker for Python developed by Microsoft. Implemented in TypeScript, it analyses Python source code to identify inconsistencies in how variables, functions and objects are used without requiring the program to execute.
The application provides a comprehensive implementation of Python’s typing system, including support for generics, structural subtyping and sophisticated type inference. It is designed for projects ranging from small scripts to large codebases with multiple packages and execution environments.
Pyright includes a command-line checker and a language server, enabling developers to receive feedback while editing and to perform project-wide checks through automated workflows. Its configurable checking modes allow projects to adopt stronger type requirements gradually rather than imposing strict annotation requirements immediately.
This is free and open source software.
Key Features
- Supports Python type annotations, generics, protocols and structural subtyping.
- Performs type inference and control-flow-based type narrowing.
- Offers configurable checking modes ranging from basic diagnostics to strict analysis.
- Supports incremental checking and watch mode to reduce repeated analysis of unchanged files.
- Allows separate execution environments to specify different Python platforms, import paths and runtime assumptions.
- Provides language server functionality for editor diagnostics, navigation and related code intelligence features.
- Supports configuration through pyrightconfig.json and pyproject.toml.
- Offers diagnostic settings for controlling specific categories of typing errors.
- Integrates with automated development workflows through its command-line interface.
Website: github.com/microsoft/pyright
Support:
Developer: Microsoft Corporation
License: MIT License
Pyright is written in Python. Learn Python with our recommended free books and free tutorials.
Related Software
| Python Linters | |
|---|---|
| Ruff | Extremely fast Python linter and code formatter |
| ty | Fast Python type checker |
| Mypy | Static type checker for Python |
| Bandit | Find security issues in Python code |
| Pylint | Static code analyser |
| wemake-python-styleguide | Flake8 plugin |
| Tach | Enforces module dependencies and architectural boundaries |
| pycodestyle | Check Python code against style conventions in PEP 8 |
| Pyflakes | Checks Python source files for errors |
| Vulture | Find dead code |
| Pyrefly | Fast type checker and language server |
| Flake8 | Wrapper around PyFlakes and pycodestyle |
| Beartype | Near-real-time hybrid runtime-static type-checker |
| Radon | Computes various metrics from Python code |
| Pyright | Full-featured, standards-compliant static type checker |
| cython-lint | Lint Cython files |
| basedpyright | Fork of pyright |
| Refurb | Modernize Python codebases |
| Pylama | Code audit tool for Python |
| Prospector | Brings together the functionality of other Python analysis tools |
| deptry | Check for dependency issues |
| Fixit | Highly configurable linting framework |
| complexipy | Measures cognitive complexity in Python code |
| Zuban | High-performance Python type checker and language server |
| Pyroma | Rates how well a Python project compiles |
| pydoclint | Python docstring linter |
| Arid | Fast duplicate code detection for Python projects |
Read our verdict in the software roundup.
 LinuxLinks helps you discover the best free and open source software for Linux. Explore our extensive collection of recommended applications, including alternatives to popular proprietary software.We also publish software reviews, Linux tutorials, hardware reviews, free programming books and articles covering the wider open source community. Browse our Linux resources to discover more. Know a useful free and open source Linux application we haven't covered? Suggest a program for inclusion. Has your software been featured on LinuxLinks? Display one of our Featured on LinuxLinks badges on your website or GitHub README. |
Please read our Comment Policy before commenting.