Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.
This skill does not declare a tool allowlist. The agent host applies whatever default tools are available at runtime.
SKILL.md / Manifest
https://raw.githubusercontent.com/pytorch/pytorch/main/.claude/skills/pyrefly-type-coverage/SKILL.mdRegistry
github (via claudemarketplaces.com)