Skip to main content
Pyrefly LogoPyrefly Logo

Catch type bugs in code your AI agent writes

  1. Install Pyrefly

    $ pip install pyrefly && pyrefly init
  2. Tell your agent to use it

    Add a skill file so your agent runs pyrefly check before it calls a task done, or a Stop hook if it needs more convincing. Read the setup guide.

  3. Let it fix what Pyrefly finds

    Errors come back fast and specific enough to act on, so your agent can correct itself and re-check before the code ever reaches you.

  • Performance Comparison

    Type checking the PyTorch codebase from scratch.Tested using Macbook
    (10 cores: 8 performance + 2 efficiency cores, 32 GB RAM)
    PyreflyCommand: "pyrefly check"
    Pyrefly uses as many threads as possible
    0.0s
    PyrightCommand: "pyright --threads=8"
    8 threads yielded the best performance after testing multiple settings
    0.0s
    MyPyCommand: "dmypy run"
    0.0s

    See Pyrefly in Action