add-or-fix-type-checking Skill
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. Published by huggingface in transformers-test-ci.
Decision snapshot
Is this a fit?
Developers using transformers-test-ci, Includes SKILL.md, Reusable instructions
Compatibility not yet detected.
Permission behavior not yet detected.
Copy skill directory
2 months ago · Apache-2.0 license
No specific cautions were detected. Review the source and requested permissions before installing.
What is add-or-fix-type-checking Skill?
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. Published by huggingface in transformers-test-ci. This profile combines repository metadata with install, compatibility, and usage signals so developers can quickly decide whether it fits their agent workflow before opening the source repository.
Automated repository signals based on public metadata such as recency, license, installation evidence, and adoption. These are not a security audit or endorsement. See how SkillIndex evaluates profiles.
Key capabilities
- Includes SKILL.md support
- Reusable instructions support
- Developers using transformers-test-ci
Declared skill metadata
- Source file: .ai/skills/add-or-fix-type-checking/SKILL.md
These fields retain source and confidence evidence from the indexed SKILL.md.
Compatibility and setup
- Install or run with Copy skill directory
When to use add-or-fix-type-checking Skill
- Use it for developers using transformers-test-ci.
Built with
Editorial notes
Source
- Creator: huggingface
- Repository: huggingface/transformers-test-ci
- 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
Verified compatibility and discovery
Frequently asked questions
What is add-or-fix-type-checking?
add-or-fix-type-checking is a open-source AI agent skill with Copy skill directory. 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.
Who is add-or-fix-type-checking best for?
add-or-fix-type-checking is best for reusing agent instructions, scripts, and references.
How do I install add-or-fix-type-checking?
Install or run add-or-fix-type-checking using Copy skill directory. Check add-or-fix-type-checking for the latest setup command.
Is add-or-fix-type-checking actively maintained?
add-or-fix-type-checking may need a closer maintenance check before production use.
Project health auto-fetched from the source repository.
Maintain this resource?
Review this source-backed profile, send a correction with evidence, or link to it from your documentation. Claims verify your relationship to the project; profile facts still require source evidence and editorial review.
