New: 97,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Pyrefly Type Coverage

by pytorch in pytorch/pytorch

Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.

Custom licenceAuto-check passedDevelopment

Install Pyrefly Type Coverage

skills CLI
$ npx skills add pytorch/pytorch --skill pyrefly-type-coverage -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install pytorch/pytorch pyrefly-type-coverage --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/pytorch/pytorch.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/pyrefly-type-coverage .claude/skills/pyrefly-type-coverage && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
pyrefly-type-coverage
GitHub stars
104k
Token cost
~3k tokens
SKILL.md length
1,367 words
Files
1
Skills in repo
16
Repo updated
First seen
Licence
Custom licence

At a glance

Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.

  • Works in 7 steps: Remove file-level type-check suppressions → Add a sub-config entry to pyrefly.toml → Run pyrefly → …
  • Tasks that involve Type safety
  • SKILL.md covers Prerequisites and Notes
  • Calls python

What it does

Pyrefly Type Coverage is an agent skill from pytorch/pytorch. Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.

Its SKILL.md is about 3k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development, covering Type safety. The repository describes itself as: Tensors and Dynamic neural networks in Python with strong GPU acceleration.

When your agent uses it

  • Tasks that involve Type safety

Example prompts

  • “/pyrefly-type-coverage”

Requirements

  • Python 3

Workflow steps

7 steps, taken from the step headings in SKILL.md.

  1. Remove file-level type-check suppressions
  2. Add a sub-config entry to pyrefly.toml
  3. Run pyrefly
  4. Add annotations
  5. Iterate
  6. Lint
  7. Test

What it can do on your machine

Read from SKILL.md and the folder at commit 84af535. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • python

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Pyrefly Type Coverage loads about 3k tokens when it runs. Until then it costs about 36 tokens; SKILL.md has 1,367 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~36
When it runs · the whole SKILL.md, loaded when a task matches
~3k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 1,367 words (~2,978 tokens).

“are missing, stop and ask whether a conda environment needs activating** — don't install or substitute (per repo CLAUDE.md).”

— opening of SKILL.md by pytorch, Custom licence
name
pyrefly-type-coverage

Read the full SKILL.md on GitHub

Files

Just SKILL.md in .agents/skills/pyrefly-type-coverage of pytorch/pytorch.

Open the folder on GitHubat commit 84af535

Compare with similar skills

Pyrefly Type Coverage next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Pyrefly Type Coverage compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Pyrefly Type Coverage this skillpytorch/pytorch104k—~3kAutomated safety check: PassCustom licence
Typescript Advanced Typesrolling-scopes/rsschool-app10k24 repos~4.2kAutomated safety check: PassMPL-2.0
RTK Rust Design Patternsrtk-ai/rtk83k—~1.9kAutomated safety check: PassApache-2.0
Kedro Babysitkedro-org/kedro11k—~4kAutomated safety check: PassCustom licence
Dignified Python Standardsdocling-project/docling68k—~1.5kAutomated safety check: PassApache-2.0
Wagmi Feature Developmentwevm/wagmi6.8k—~3.8kAutomated safety check: PassMIT

Similar skills

  • Typescript Advanced Types

    rolling-scopes/rsschool-app

    Master TypeScript's advanced type system including generics, conditional types, mapped types, template literals, and utility types for building type-safe applications.

    10k GitHub starsUsed in 24 repos~4.2k tokens
    DevelopmentAuto-check passed

  • RTK Rust Design Patterns

    rtk-ai/rtk

    Describes seven Rust design patterns for the RTK CLI filter modules, with when to use each, RTK examples, and notes on when a pattern is overkill.

    83k GitHub stars~1.9k tokensUpdated today
    DevelopmentAuto-check passed

  • Kedro Babysit

    kedro-org/kedro

    Run Kedro's local lint / format / type-check / tests on changed files (uses the project's pre-commit hooks, ruff, mypy, pytest, lint-imports, detect-secrets, Make targets — in the right venv), or…

    11k GitHub stars~4k tokensUpdated yesterday
    DevelopmentAuto-check passed

  • Dignified Python Standards

    docling-project/docling

    Applies opinionated production Python conventions chosen by the project's Python version: modern type syntax, pathlib, explicit checks and interface guidance.

    68k GitHub stars~1.5k tokensUpdated yesterday
    DevelopmentAuto-check passed

  • Wagmi Feature Development

    wevm/wagmi

    Walks through adding a Wagmi feature across its layers: a Viem-based core action, TanStack Query options, and React and Vue bindings.

    6.8k GitHub stars~3.8k tokensUpdated 6 days ago
    DevelopmentAuto-check passed

  • Rust Path Types

    openinterpreter/openinterpreter

    Rules for choosing Rust types for filesystem paths in new Codex code, covering protocol types, internal use and model tool arguments.

    69k GitHub starsUsed in 2 repos~605 tokens
    DevelopmentAuto-check passed

More from pytorch/pytorch

All 16 skills in this repo

  • Add Uint Support

    pytorch/pytorch

    Add unsigned integer (uint) type support to PyTorch operators by updating ATDISPATCH macros.

    104k GitHub starsUsed in 2 repos~2.3k tokens
    Auto-check passed

  • Docstring

    pytorch/pytorch

    Write docstrings for PyTorch functions and methods following PyTorch conventions.

    104k GitHub starsUsed in 2 repos~2.6k tokens
    Auto-check passed

  • Aoti Debug

    pytorch/pytorch

    Debug AOTInductor (AOTI) errors and crashes. An agent skill from pytorch/pytorch.

    104k GitHub starsUsed in 1 repo~1.7k tokens
    Auto-check passed

  • CI Metrics

    pytorch/pytorch

    Query PyTorch CI, GitHub Actions, HUD, Grafana, and infrastructure metrics.

    104k GitHub stars~1.1k tokensUpdated today
    Auto-check passed

  • Cuda Index Width

    pytorch/pytorch

    Choose 32-bit vs 64-bit index math in PyTorch CUDA kernels. An agent skill from pytorch/pytorch.

    104k GitHub stars~1.6k tokensUpdated today
    Auto-check passed

  • Document Public APIs

    pytorch/pytorch

    Document undocumented public APIs in PyTorch by removing functions from coverageignorefunctions and coverageignoreclasses in docs/source/conf.py, running Sphinx coverage, and adding the appropriate…

    104k GitHub stars~4.2k tokensUpdated today
    Auto-check passed

Categories

Questions about Pyrefly Type Coverage

What does Pyrefly Type Coverage do?

Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes. Pyrefly Type Coverage is an agent skill from pytorch/pytorch. Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.

When should I use Pyrefly Type Coverage?

Pyrefly Type Coverage fits situations like: tasks that involve Type safety.

How do I install Pyrefly Type Coverage in Claude Code?

Run `npx skills add pytorch/pytorch --skill pyrefly-type-coverage -a claude-code`. Or copy the skill folder (.agents/skills/pyrefly-type-coverage in pytorch/pytorch) into .claude/skills/pyrefly-type-coverage in your project. Claude Code loads it when a task matches its description.

How do I install Pyrefly Type Coverage in Codex?

Run `npx skills add pytorch/pytorch --skill pyrefly-type-coverage -a codex`. Or copy the skill folder (.agents/skills/pyrefly-type-coverage in pytorch/pytorch) into .agents/skills/pyrefly-type-coverage in your project. Codex loads it when a task matches its description.

Can I use Pyrefly Type Coverage in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add pytorch/pytorch --skill pyrefly-type-coverage -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/pyrefly-type-coverage, .gemini/skills/pyrefly-type-coverage, .github/skills/pyrefly-type-coverage and .opencode/skills/pyrefly-type-coverage in your project.

What does Pyrefly Type Coverage need to run?

Going by SKILL.md and its folder, Pyrefly Type Coverage needs the command-line tools its instructions call (python). Our summary lists: Python 3.

Does Pyrefly Type Coverage access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Pyrefly Type Coverage safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Pyrefly Type Coverage use?

Pyrefly Type Coverage has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.

How many tokens does Pyrefly Type Coverage use?

About 3k tokens (SKILL.md is roughly 12k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Pyrefly Type Coverage?

Skills that share tags, products or a category with Pyrefly Type Coverage: Typescript Advanced Types (rolling-scopes/rsschool-app, 10k stars), RTK Rust Design Patterns (rtk-ai/rtk, 83k stars), Kedro Babysit (kedro-org/kedro, 11k stars) and Dignified Python Standards (docling-project/docling, 68k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Pyrefly Type Coverage?

pytorch (a GitHub organization) maintains it in pytorch/pytorch, which has 103,819 GitHub stars. The repository holds 16 skills in this directory. The repository was last updated on October 7, 2026.

Source: pytorch/pytorch on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.