https://docs.astral.sh/ty/
An extremely fast Python type checker and language server, written in Rust.