pyrefly-type-coverage 是做什麼的？
遷移檔案以使用更嚴格的 Pyrefly 型別檢查，要求所有函式、類別和屬性都必須有型別註釋。
遷移檔案以使用更嚴格的 Pyrefly 型別檢查，要求所有函式、類別和屬性都必須有型別註釋。
這個技能「pytorch/pyrefly-type-coverage」旨在協助開發者將 Python 檔案遷移至 Pyrefly 的更嚴格型別檢查模式。其核心目標是強制要求檔案中所有函式、類別和屬性都必須具備完整的型別註釋，從而提升程式碼的型別安全性與可維護性。對於使用 Pyrefly 作為型別檢查器的專案（如 PyTorch），此技能能自動化處理型別註釋的補全工作，減少手動逐一添加的繁瑣過程。技能支援的平台包括任何整合了 Pyrefly 的開發環境（例如 VS Code 或其他編輯器）。它的運作方式是透過分析指定檔案中缺少型別註釋的程式碼元素，然後自動插入或建議必要的型別註釋，確保達到設定的型別涵蓋率標準。這對於大型程式碼庫的型別系統升級或持續整合流程中的型別檢查要求尤其有用。
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.