add-or-fix-type-checking Skill

Source

• Creator: huggingface
• Repository: huggingface/transformers
• Skill file: .ai/skills/add-or-fix-type-checking/SKILL.md

What it does

Fixes broken typing checks detected by ty, make typing, or make check-repo. Use when typing errors appear in local runs, CI, or PR logs.

Skill instructions

Add Or Fix Type Checking Input - <target: module or directory to type-check (if known). - Optional make typing or CI output showing typing failures. Workflow 1. Identify scope from the failing run: - If you already have make typing or CI output, extract the failing file/module paths. - If not, run: bash make typing - Choose the narrowest target that covers the failures. 2. Run ty check for the target to get a focused baseline: bash ty check --respect-ignore-files --exclude '/pb' <target 3. Triage errors by category before fixing anything: - Wrong/missing type annotations on signatures - Attribute access on union types (for example X | None) - Functions returning broad unions (for example str | list | BatchEncoding) - Mixin/protocol self-type issues - Dynamic attributes on objects or modules - Third-party stub gaps (missing kwargs, missing version, etc.) 4. Apply fixes using this priority order (simplest first): a. Narrow unions with isinstance() / if x is None / hasattr(). This is the