pytorch/pyrefly-type-coverage

Migra um arquivo para usar a verificação de tipos Pyrefly mais rigorosa, com anotações obrigatórias para todas as funções, classes e atributos.

O que é pyrefly-type-coverage?

Esta skill automatiza a migração de arquivos de código para o modo de verificação de tipos Pyrefly mais rigoroso, exigindo anotações de tipo explícitas para todas as funções, classes e atributos. É útil para equipes que desejam adotar a verificação de tipos estática estrita com Pyrefly, melhorando a segurança de tipo e a documentação do código. A skill suporta projetos Python que usam Pyrefly e modifica arquivos para cumprir as regras de tipo mais estritas, como adicionar anotações ausentes e corrigir violações de tipo. Ela opera analisando o código-fonte, identificando locais sem anotações de tipo obrigatórias e aplicando automaticamente as anotações corretas com base no contexto do código, garantindo que o arquivo resultante compile sem erros de tipo.

Funciona com~Claude Code~Codex CLI~Cursor
npx skills add https://github.com/pytorch/pytorch/tree/main/skills/pyrefly-type-coverage

Installed? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Perguntar na sua IA favorita

Abre um novo chat com esta habilidade de agente já pré-carregada.

Documentação

O que pyrefly-type-coverage faz?

Migra um arquivo para usar a verificação de tipos Pyrefly mais rigorosa, com anotações obrigatórias para todas as funções, classes e atributos.

Descrição

Esta skill automatiza a migração de arquivos de código para o modo de verificação de tipos Pyrefly mais rigoroso, exigindo anotações de tipo explícitas para todas as funções, classes e atributos. É útil para equipes que desejam adotar a verificação de tipos estática estrita com Pyrefly, melhorando a segurança de tipo e a documentação do código.

Como usar

Para usar esta skill, execute o comando apropriado no seu terminal, especificando o arquivo a ser migrado. A skill modificará o arquivo para cumprir as regras de tipo mais estritas.

pyrefly-type-coverage --file caminho/para/seu/arquivo.py

Requisitos

  • Python 3.8 ou superior
  • Pyrefly instalado e configurado
  • O arquivo de configuração do Pyrefly (pyrefly.toml ou similar) deve estar presente no projeto

Funcionalidades

  • Adiciona anotações de tipo ausentes automaticamente
  • Corrige violações de tipo detectadas pelo Pyrefly
  • Garante que o arquivo resultante compile sem erros de tipo
  • Suporte a múltiplos arquivos em lote

Recursos adicionais

Para mais informações sobre o Pyrefly e sua configuração, consulte a documentação oficial.

Individual skills in this repo

This repo contains 8 individual skills — each has its own dedicated page.

pytorch/add-uint-support

Add unsigned integer (uint) type support to PyTorch operators by updating AT_DISPATCH macros. Use when adding support for uint16, uint32, uint64 types to operators, kernels, or when user mentions enabling unsigned types, barebones unsigned types, or uint support.

pytorch/aoti-debug

Debug AOTInductor (AOTI) errors and crashes. Use when encountering AOTI segfaults, device mismatch errors, constant loading failures, or runtime errors from aot_compile, aot_load, aoti_compile_and_package, or aoti_load_package.

pytorch/at-dispatch-v2

Convert PyTorch AT_DISPATCH macros to AT_DISPATCH_V2 format in ATen C++ code. Use when porting AT_DISPATCH_ALL_TYPES_AND*, AT_DISPATCH_FLOATING_TYPES*, or other dispatch macros to the new v2 API. For ATen kernel files, CUDA kernels, and native operator implementations.

pytorch/docstring

Write docstrings for PyTorch functions and methods following PyTorch conventions. Use when writing or updating docstrings in PyTorch code.

pytorch/metal-kernel

Write Metal/MPS kernels for PyTorch operators. Use when adding MPS device support to operators, implementing Metal shaders, or porting CUDA kernels to Apple Silicon. Covers native_functions.yaml dispatch, host-side operators, and Metal kernel implementation.

pytorch/pr-review

Review PyTorch pull requests for code quality, test coverage, security, and backward compatibility. Use when reviewing PRs, when asked to review code changes, or when the user mentions "review PR", "code review", or "check this PR".

pytorch/skill-writer

Guide users through creating Agent Skills for Claude Code. Use when the user wants to create, write, author, or design a new Skill, or needs help with SKILL.md files, frontmatter, or skill structure.

pytorch/triaging-issues

Triages GitHub issues by routing to oncall teams, applying labels, and closing questions. Use when processing new PyTorch issues or when asked to triage an issue.

Habilidades Relacionadas