- 社区热度
- 7.0k Stars
- GitHub 收藏
- 最近活跃
- 2026/9/18
- 近 30 天还在更新
- 授权协议
- MIT
- 宽松协议
为什么值得关注
不是看 Star 排名,而是看它解决了什么问题、实际有没有用,以及方法为什么值得关注。
解决的问题
Python 静态类型检查在大型代码库中往往面临性能瓶颈,导致开发反馈周期过长。
实际价值
通过极高的检查速度和对主流框架的内置支持,显著缩短了大型项目的类型验证时间。
创新 / 差异化
在保持与现有工具兼容性的同时,通过底层优化实现了远超 Mypy 和 Pyright 的处理效率。
扩展潜力
提供了平滑的迁移路径和自动化的类型推断工具,降低了从现有工具切换的门槛。
为什么是现在
随着 Python 在大型工程中的应用日益广泛,对高性能类型检查工具的需求正处于增长期。
社区活跃度
近 90 天新增 509 个 Issue、591 个 PR;窗口内抽取的 Issue/PR 样本中有 40 位 Issue 发起者、32 位 PR 贡献者,并发布 至少 11 个版本。
维护者响应
窗口内 97 个 Issue 样本关闭率 80%,99 个 PR 样本合并率 0%。维护者评论样本仅覆盖该 Issue 样本的 18%,不足以可靠判断首次响应率与响应速度。
核心亮点
- 每秒处理超百万行代码的极速类型检查
- 支持代码导航、补全及语义高亮等完整 IDE 功能
- 内置 Pydantic、Django 及 pytest 框架支持
快速开始
安装方式、上手难度、开始步骤。
装在哪
本地运行
难不难
容易,照着走就行
- 01通过 pip 安装命令行工具。
- 02在 IDE 中安装对应的 Pyrefly 插件。
- 03运行初始化命令以配置项目。
更适合谁
- 想在本机直接跑起来试用的开发者
更多介绍
Pyrefly 是一款专为大规模 Python 项目设计的类型检查器与语言服务器。它通过极高的处理性能,在 IDE 中实现毫秒级的实时反馈,并提供代码补全、悬停提示等辅助开发功能。
该工具不仅兼容主流编辑器,还针对 Pydantic、Django 等常用框架进行了深度优化。它提供了一套完整的迁移与维护工具,支持用户通过 pyrefly init 和 pyrefly infer 等命令逐步引入类型检查。
信息来源
每条信息都标注了状态与出处,可展开查看。
14 条 · 展开
信息来源
每条信息都标注了状态与出处,可展开查看。
capability tags
已核验code_quality
来源: admin_cms · cms editor · 2026/8/27
editor note
已核验{"en":"Developed by Meta for large-scale codebases like Instagram, Pyrefly excels in type-checking speed. It includes built-in support for frameworks like Pydantic and Django, making it suitable for complex projects migrating from Mypy or Pyright.","zh":"Pyrefly 由 Meta 开发并用于 Instagram 等大规模代码库,其核心优势在于极高的类型检查速度。它内置了对 Pydantic、Django 等框架的深度支持,适合从 Mypy 或 Pyright 迁移的复杂项目。"}
来源: admin_cms · cms editor · 2026/8/27
how to use
已核验{"steps":[{"en":"Install the command-line tool using pip.","zh":"通过 pip 安装命令行工具。"},{"en":"Install the corresponding Pyrefly extension in your IDE.","zh":"在 IDE 中安装对应的 Pyrefly 插件。"},{"en":"Run the initialization command to configure your project.","zh":"运行初始化命令以配置项目。"}],"installAt":"local","difficulty":"easy"}
来源: admin_cms · cms editor · 2026/8/27
intro
已核验{"en":"Pyrefly is a type checker and language server optimized for large-scale Python projects. It delivers millisecond-level feedback in IDEs through high-performance analysis, while providing essential features like code completion and hover information.\n\nThe tool integrates with popular editors and includes deep support for frameworks such as Pydantic and Django. It offers a suite of migration and maintenance utilities, allowing users to adopt type checking incrementally using commands like `pyrefly init` and `pyrefly infer`.","zh":"Pyrefly 是一款专为大规模 Python 项目设计的类型检查器与语言服务器。它通过极高的处理性能,在 IDE 中实现毫秒级的实时反馈,并提供代码补全、悬停提示等辅助开发功能。\n\n该工具不仅兼容主流编辑器,还针对 Pydantic、Django 等常用框架进行了深度优化。它提供了一套完整的迁移与维护工具,支持用户通过 `pyrefly init` 和 `pyrefly infer` 等命令逐步引入类型检查。"}
来源: admin_cms · cms editor · 2026/8/27
最新版本
已核验1.3.1
来源: GitHub 官方接口 · latest_release=1.3.1 · 2026/9/18
许可证
已核验MIT
来源: GitHub 官方接口 · license.spdx_id=MIT · 2026/9/18
needs api key
已核验否
来源: admin_cms · cms editor · 2026/8/27
一句话用途
已核验{"en":"A high-performance Python type checker and language server providing fast code analysis and IDE integration.","zh":"一款高性能 Python 类型检查器与语言服务器,支持快速代码分析及主流 IDE 集成。"}
来源: admin_cms · cms editor · 2026/8/27
平台
已核验windows、macos、linux
来源: admin_cms · cms editor · 2026/8/27
分类线索
根据材料推断developer-tools
来源: 项目说明文档 · hint=developer-tools · 2026/8/17
product forms
已核验cli、ide_plugin
来源: admin_cms · cms editor · 2026/8/27
role tags
已核验backend、fullstack
来源: admin_cms · cms editor · 2026/8/27
supports local
已核验是
来源: admin_cms · cms editor · 2026/8/27
supports self host
已核验否
来源: admin_cms · cms editor · 2026/8/27
相关项目
根据分类、能力和适用角色匹配的其他已核验项目。
claude-code
运行在终端中的 Agent 编程工具,可理解代码库、执行日常开发任务、解释代码并处理 Git 工作流。
spec-kit
一套遵循「规范驱动开发」流程的开源 CLI 工具包,配合 AI 编程 Agent 按照规范生成与执行代码。
codex
运行在本机的 OpenAI 编程 Agent,可通过终端使用,也提供 IDE 和桌面应用入口。
openwiki
用 Agent 为代码库或个人资料生成并持续更新 Markdown Wiki 的 CLI,并提供本地关系图可视化。
pyright
微软维护的 Python 静态类型检查器,提供命令行工具和 Visual Studio Code 扩展。
Flare
面向智能体编程的图优先 IDE,提供实时代码库拓扑图、内置终端与 MCP 任务协作面板。

