Use ty, the extremely fast Python type checker and language server by Astral (creators of uv and Ruff). Use this skill whenever the user mentions ty, Python type checking, mypy migration, pyright migration, type diagnostics, or needs to configure a Python type checker. Also triggers for questions about Python typing features like intersection types, gradual typing, or redeclarations. ty is 10x–100x faster than mypy/Pyright and supports full LSP (completions, hover, navigate, etc.).
