pyrefly.org valid

Pyrefly

For agents: Pyrefly: Python type checker docs covering configuration, type inference, framework support (Django, pandas, attrs) and comparisons with mypy and Pyright.

python type checkertype inferencemypypyrightpython typing

Their llms.txt

The beginning of the file, from our validated copy saved 2026-10-21T03:26:33.118Z. Cached copy · Source on pyrefly.org

# Pyrefly

## Docs

- [attrs Support](/en/docs/attrs/): Pyrefly support for the attrs library.
- [Infer](/en/docs/autotype/): Automatically add type annotations to your code with the Pyrefly infer feature.
- [Bazel Integration](/en/docs/bazel/): Run Pyrefly type checking over Bazel Python targets with rules_pyrefly
- [Mypy vs Pyright vs Pyrefly](/en/docs/compare/): Compare mypy, Pyright, and Pyrefly for Python type checking, IDE support, configuration, framework support, strictness, and migration cost.
- [Configuration](/en/docs/configuration/): Configure Pyrefly settings and options
- [DataFrames](/en/docs/dataframes/): Pyrefly support for Polars and pandas DataFrames, including column and dtype inference.
- [Django Support](/en/docs/django/): Pyrefly support for Django ORM.
- [Pyrefly Error Kinds](/en/docs/error-kinds/): Pyrefly error categories and suppression codes
- [Pyrefly Error Suppressions](/en/docs/error-suppressions/): Learn how to suppress type check errors in Pyrefly with code comments and baseline files.
- [IDE Installation](/en/docs/IDE/): How to add Pyrefly Language Server and Typechecking to your IDE
- [IDE Supported Features](/en/docs/IDE-features/): Supported features for Pyrefly's IDE extension
- [Import Resolution](/en/docs/import-resolution/): How imports in a given file are found by Pyrefly and their bindings are resolved, including files that are being type checked
- [Introduction](/en/docs/): Guides and references for all you need to know about Pyrefly type checker and IDE extension.
- [Installation](/en/docs/installation/): How to install Pyrefly
- [Migrating to Pyrefly](/en/docs/migrating-to-pyrefly/): Start here to move a Python project to Pyrefly from mypy or Pyright, with automatic config conversion, parallel CI, and a suppression or baseline rollout.
- [Mypy Config to Pyrefly](/en/docs/migrate/mypy/config/): A complete migration reference for translating mypy.ini and [tool.mypy] options into Pyrefly configuration.
- [Mypy Error Codes to Pyrefly](/en/docs/migrate/mypy/error-codes/): Map mypy error codes to Pyrefly error kinds, with exact automatic migration status and one-to-many compatibility notes.
- [Mypy ignore_missing_imports in Pyrefly](/en/docs/migrate/mypy/ignore-missing-imports/): Understand mypy ignore_missing_imports, its Pyrefly equivalent, and when to use ignore-missing-imports instead of replacing all imports with Any.
- [Migrate from mypy](/en/docs/migrating-from-mypy/): Move a Python project from mypy to Pyrefly: install alongside, convert the config automatically, compare the two outputs, and adopt the backlog with suppressions or a baseline.
- [Mypy Plugin Support in Pyrefly](/en/docs/migrate/mypy/plugins/): Migrate common mypy plugin workloads to Pyrefly's built-in Pydantic, Django, and attrs support, and identify custom plugins that still need manual review.
- [Mypy Strict Mode in Pyrefly](/en/docs/migrate/mypy/strict-mode/): Translate mypy strict mode into a reviewed Pyrefly configuration without
…

Related sites

Other listed sites in Developer tools. See the whole category →

Machine-readable: GET /v1/resolve?q=pyrefly.org · GET /v1/domain/pyrefly.org · this page as Accept: application/json or text/markdown · MCP lookup_domain

Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.

Claim my listing on Agent Web Map for pyrefly.org:
1. POST https://agentwebmap.com/v1/sites/pyrefly.org/claims and keep claim_id and claim_secret private.
2. Publish the proof: add the line "AgentWebMap ownership: <token>" (token from step 1) to https://pyrefly.org/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/pyrefly.org/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/pyrefly.org).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verify

Corrections or removal requests: contact the directory.