Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.
Install
npx skills add pytorch/pytorch --skill pyrefly-type-coveragenpx skills add pytorch/pytorch --skill pyrefly-type-coverage -a claude-code -gnpx skills add pytorch/pytorch --skill pyrefly-type-coverage -a codex -ggemini skills install https://github.com/pytorch/pytorch.git --path .claude/skills/pyrefly-type-coveragegh skill install pytorch/pytorch pyrefly-type-coveragegit clone --depth 1 https://github.com/pytorch/pytorch /tmp/pytorch__pytorch
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/pytorch__pytorch/.claude/skills/pyrefly-type-coverage ~/.claude/skills/pyrefly-type-coverage # Claude Code
cp -R /tmp/pytorch__pytorch/.claude/skills/pyrefly-type-coverage ~/.agents/skills/pyrefly-type-coverage # Codex, Cursor, Gemini CLI, Copilot, OpenCode