pyrefly-type-coverage は何をしますか？
ファイルを移行して、すべての関数、クラス、および属性に型アノテーションを必須とする、より厳格なPyrefly型チェックを適用します。
ファイルを移行して、すべての関数、クラス、属性に型アノテーションを必須とする、より厳格なPyrefly型チェックを適用します。
このスキルは、PyTorchのコードベースにおいて、Pyrefly（Python用の静的型チェッカー）の厳格な型チェックレベルにファイルを移行するためのものです。具体的には、すべての関数、クラス、および属性に型アノテーションを追加することで、型カバレッジを向上させ、より堅牢なコードを実現します。このスキルは、`pyrefly` ツールをサポートしており、`pyre-upgrade` コマンドを活用して自動的にアノテーションを追加します。開発者は、このスキルを使用することで、手動で型を追加する手間を省き、大規模なコードベースでも効率的に型チェックの厳格さを高めることができます。
npx skills add https://github.com/pytorch/pytorch/tree/main/skills/pyrefly-type-coverageInstalled? Explore more コーディング＆開発 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
ファイルを移行して、すべての関数、クラス、および属性に型アノテーションを必須とする、より厳格なPyrefly型チェックを適用します。
This repo contains 8 individual skills — each has its own dedicated page.
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.
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.
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.
Write docstrings for PyTorch functions and methods following PyTorch conventions. Use when writing or updating docstrings in PyTorch code.
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.
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".
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.
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.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.