项目在 Instagram 的 2000 万行代码库中得到大规模验证,同时也被 PyTorch、JAX 等知名开源项目采用。Pyrefly 内置对 Pydantic、Django 等主流框架的支持,开箱即用;迁移工具 pyrefly init、pyrefly suppress、pyrefly infer 则让从 Mypy 或 Pyright 切换变得轻松。
目前支持 VSCode、Neovim、Zed 等编辑器,可通过 pip install pyrefly 快速安装。
主要功能:
- 闪电级类型检查,单秒可处理 185 万行代码;
- 完整语言服务器,支持跳转、补全、悬停提示等;
- 框架感知,Pydantic 与 Django 模型开箱即用;
- 平滑迁移,提供一键初始化、错误抑制与类型推断;
- CLI 与 IDE 结果一致,重新检查通常在 10 毫秒内完成。