mypy - the original and most widely adopted Python type checker; strict mode, plugin ecosystem, incremental checking; de facto standard for CI enforcement
Pyright - fast, accurate type checker from Microsoft written in TypeScript; powers Pylance in VS Code; strict mode goes further than mypy in several areas; excellent for large codebases
Pylance - VS Code language server built on Pyright; adds IntelliSense, auto-imports, and semantic highlighting on top of Pyright's type engine
Pyrefly - new type checker from Meta written in Rust; aims for extreme speed on very large monorepos; still maturing but very fast incremental analysis. Used in the PyTorch repo internally.
Ruff - primarily a linter/formatter, but enforces many type-annotation style rules (e.g. UP/ANN rule sets) and is the fastest option for catching annotation anti-patterns at lint time