pyrefly-type-coverage 是做什么的?
迁移文件以使用更严格的Pyrefly类型检查,要求所有函数、类和属性都带有类型注解。
迁移文件以使用更严格的Pyrefly类型检查,要求所有函数、类和属性都带有类型注解。
该技能帮助开发者将Python文件迁移到更严格的Pyrefly类型检查模式,要求所有函数、类和属性都显式标注类型。这对于希望提高代码可维护性和减少运行时错误的项目非常有用,尤其是在大型代码库(如PyTorch)中。技能主要支持Pyrefly类型检查工具,通过自动扫描未标注的代码段并添加必要的类型注解来工作。它基于SKILL.md文档中的规则,会识别函数参数、返回类型、类属性和实例变量,并生成符合PEP 484标准的注解。适用于所有Python项目,但特别针对需要逐步采用严格类型检查的大型代码库设计。
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.