Pyright
lastmod 2026-11-10created 2019-04-114 edits
Pyright is a static type checker for Python made by Microsoft. Written in TypeScript and running on Node.js, it checks even code without type hints through type inference and was designed for speed on large codebases. Because it implements the Language Server Protocol, it can be used directly as an editor extension, and Pylance, the Python extension for VS Code, is built on it. mypy is a tool with the same role.
Static type checker for Python.