ty ty Extremely fast Python type checker written in Rust, designed as a complement to existing type checkers. type-checker linter
pyright pyright Fast, standards-based static type checker for Python with command-line and IDE integration. linter type-checker