In 2025, the Python type checking landscape has seen the introduction of three new tools built in Rust, promising enhanced performance and integration. Established tools like mypy, pyright, and pyre have laid the groundwork, while newcomers ty, pyrefly, and zuban aim to improve type checking with varying philosophies and capabilities, emphasizing gradual adoption and powerful inference. Despite differing conformance scores, practical usability suggests that all tools can effectively catch common typing errors in real-world applications.