ty — Python Type Checker

Overview

ty is Astral's type checker and language server for Python, written in Rust — 10–100x faster than mypy and pyright. One binary does two jobs: ty check (CLI) and ty server (LSP).