Loading...
Loading...
Found 5 Skills
Interactively fix any type checking issues in Python code
Guide for using ty, the extremely fast Python type checker and language server. Use this when type checking Python code or setting up type checking in Python projects.
mypy - Static type checker for Python with gradual typing, strict mode, Protocol support, and framework integration
Python type checking expertise using ty - the extremely fast type checker by Astral. Use when: (1) Adding type annotations to Python code, (2) Fixing type errors reported by ty, (3) Migrating from mypy/pyright to ty, (4) Configuring ty for projects, (5) Understanding advanced type patterns (generics, protocols, intersection types), (6) Setting up ty in editors (VS Code, Cursor, Neovim, PyCharm).
Pyright fast Python type checker from Microsoft with VS Code integration and strict type checking modes