An extremely fast #Python type checker and #LSP called #ty, by the team who wrote #uv
https://astral.sh/blog/ty
ty: An extremely fast Python type checker and language server
ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.
Gold Ayan