Ty: A fast Python type checker and language server, written in Rust
https://github.com/astral-sh/ty