pyright

pyright is an open-source type checker for Python, intended for large source bases. It examines type information in Python code and helps developers identify how values, functions, variables, and classes are used. It is a Linux utility for Python developers and teams working with typed Python projects.

The tool can run in watch mode, updating its results incrementally when files change. Configuration files provide detailed control over its behavior and can assign different execution environments to separate subdirectories. Each environment can define its own module search paths, Python language version, and platform target.

Pyright supports a broad range of Python typing features, including generics, variable annotations, structural subtyping, typed dictionaries, literal types, union syntax, variadic generics, user-defined type guards, and several other standard typing specifications. It can infer types for function return values, instance variables, class variables, and global variables. Its type guards account for conditional code paths such as if and else branches.

Pyright is supplied as both a command-line tool and a Language Server Protocol server. Its language server can provide type completion for keywords, symbols, and import names, insert imports when needed for type completions, and show signature guidance while arguments are entered. MirrorNest distributes the official Linux build directly from its own storage, and the mirrored file is scanned for malware before publishing.