ty: An extremely fast Python type checker and language server
astral.sh
ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.