CommunityProgramación y desarrollogithub.com

pytorch/pyrefly-type-coverage

Migra un archivo para usar una verificación de tipos más estricta con Pyrefly, requiriendo anotaciones para todas las funciones, clases y atributos.

¿Qué es pyrefly-type-coverage?

Esta skill te permite migrar archivos de código a un nivel más estricto de verificación de tipos utilizando Pyrefly, una herramienta de análisis de tipos para Python. Automáticamente agrega o corrige anotaciones de tipo faltantes en todas las funciones, clases y atributos definidos en el archivo objetivo, mejorando así la cobertura y precisión del tipado estático. Es especialmente útil para proyectos que desean adoptar un tipado estricto de manera progresiva, ya que se centra en un solo archivo a la vez. La skill se integra directamente en el flujo de trabajo de desarrollo, actuando sobre el archivo activo en el editor o el que se especifique en el prompt.

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

Installed? Explore more Programación y desarrollo skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Preguntar en tu IA favorita

Abre un nuevo chat con esta habilidad de agente ya precargada.

Documentación

¿Qué hace pyrefly-type-coverage?

Migra un archivo para usar una verificación de tipos más estricta con Pyrefly, requiriendo anotaciones para todas las funciones, clases y atributos.

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.

Skills relacionados