{"categories":[{"label":"Software Development","url":"https://skillfed.io/packages/category/software-development/2"}],"enrichment":{"capability":"Pyrefly is a fast type checker and language server for Python that provides IDE features including code navigation, semantic highlighting, and code completion across multiple editors.","skillfed_tags":["type-checking","language-server","ide-integration"],"use_cases":["Migrate an existing codebase to Pyrefly using `pyrefly init` and suppress errors with `pyrefly suppress` during rollout","Set up IDE type checking and code completion in VSCode, Neovim, or Zed with consistent results across CLI and editor","Type-check large Python projects where type-checking speed is a bottleneck in development workflow","Validate Pydantic models, Django ORM fields, and pytest fixtures with built-in framework support","Generate initial type annotations for an untyped codebase using `pyrefly infer` to bootstrap type safety"],"what_it_does":"Pyrefly is a production-grade type checker and language server for Python developed by Meta, designed to handle large codebases at scale. It combines fast type checking with IDE features like code navigation, autocomplete, hover information, and semantic highlighting, available both as a command-line tool and as extensions for VSCode, Neovim, Zed, and other editors. The package includes built-in support for popular frameworks like Pydantic, Django, and pytest.\n\nFor teams migrating from other type checkers, Pyrefly provides adoption tools: `pyrefly init` for migration setup, `pyrefly suppress` to silence existing errors during rollout, and `pyrefly infer` to generate type annotations. It has no runtime dependencies, making it straightforward to add to a project. The tool is actively maintained with monthly minor releases and patches for critical fixes.","worth_installing":"Yes. Pyrefly is production-stable, actively maintained, has no dependencies, and offers a permissive license. It is worth installing if you need fast type checking for a large codebase or want IDE integration across multiple editors. The adoption tools make it practical to migrate incrementally. Minor version releases may introduce breaking changes, but the `suppress` command mitigates migration friction."},"id":"pyrefly","links":{"html":"https://skillfed.io/packages/pyrefly","md":"https://skillfed.io/packages/pyrefly.md","pypi":"https://pypi.org/project/pyrefly/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2026-08-01","license_spdx":null,"license_treatment":"permissive","name":"pyrefly","python_support":"supports_current","summary":"A fast type checker and language server for Python with powerful IDE features"},"popularity":{"monthly_downloads":6610816,"position":1881,"tier":"top_5000"},"security":{"n_vulnerabilities":0},"version":"1.2.0"}