Stricter type checks for your Python file.
What it does
Strengthens a Python file's type checking by annotating its functions, classes, and attributes.
When to use it
Use when migrating a file to stricter Pyrefly checks that require type annotations.
How to use it
Give it a file in a project with pyrefly.toml; it strengthens the file's annotations and checking configuration, then runs lint and relevant tests.
What you provide
- the file to migrate
- An existing project
Latest review
What you need · 3
Assumes Python 3.10 or newer for the annotation syntax it requires.
Must be on PATH; if missing, the agent must stop and ask about activating a conda environment rather than install or substitute it.
Must be on PATH for the required lint step; the project's test runner must also be available.
Access · 0
No additional actions listed.