pyrefly-type-coverage

SKILL.md

Pyrefly Type Coverage Skill

Prerequisites

The file must live in a project with a pyrefly.toml.

pyrefly, lintrunner, and the project's test runner must be on PATH. If any
are missing, stop and ask whether a conda environment needs activating — don't
install or substitute (per repo CLAUDE.md).

Step 1: Remove file-level type-check suppressions

Delete any of these from the top of the file (pyrefly honors # mypy: ignore-errors
for mypy compat, so that one must go too):

# pyre-ignore-all-errors
# pyre-ignore-all-errors[16,21,53,56]
# @lint-ignore-every PYRELINT
# mypy: ignore-errors