An extremely fast Python type checker and language server, written in Rust.
Labels help you categorize and filter issues.
