This blog post provides an early look at Red Knot, a promising Python type checker developed by the Astral team, which aims to be faster and more efficient than existing tools like mypy. Despite being under development and not yet officially released, Red Knot shows potential with its speed and type inference capabilities, though it still lacks comprehensive documentation and may not be a direct replacement for mypy or pyright.

https://jurasofish.github.io/a-very-early-play-with-astrals-red-knot-static-type-checker.html