为 Neovim 内置 LSP 客户端提供的一组开箱即用的语言服务器配置。
- Star
- 7,186
- Fork
- 590
- 未关闭 Issue
- 589
- 最近提交
- 18小时前
这是什么?
Pyrefly 是一款面向 Python 的类型检查器和语言服务器。它既可以作为命令行工具检查代码中的类型错误,也能以扩展形式接入 VS Code、Neovim、Zed 等编辑器,提供代码导航、自动补全、悬停信息、inlay hints 和语义高亮等功能。
该项目重点关注大型代码库上的速度。项目披露的数据显示,在 PyTorch 上的类型检查速度约为 Mypy 和 Pyright 的 15 倍,IDE 中保存文件后的增量检查通常在 10 毫秒内完成。它还内置了对 Pydantic、Django 和 pytest 的支持。
对于已有项目,Pyrefly 提供从 Mypy 或 Pyright 迁移的命令(`pyrefly init`)、屏蔽现有错误的命令(`pyrefly suppress`)以及类型注解生成命令(`pyrefly infer`),团队可以逐个文件逐步引入。
核心功能
- 01命令行类型检查,适合大型项目的快速检查。
- 02语言服务器提供代码导航、自动补全、悬停信息和 inlay hints。
- 03内置对 Pydantic、Django 和 pytest 的支持。
- 04提供从 Mypy 或 Pyright 迁移的命令。
- 05支持屏蔽现有错误并推断类型注解,便于逐步引入。
适用场景
- 在持续集成中为大型 Python 代码库加入静态类型检查。
- 在 VS Code、Neovim 或 Zed 中获得基于类型的自动补全和代码导航。
- 以较小改动将项目从 Mypy 或 Pyright 迁移过来。
- 检查 Django 或 pytest 项目,获得框架感知的支持。
快速上手
- 1
使用 pip 安装命令行工具
pip install pyrefly - 2
从 IDE 安装页面安装 IDE 扩展
使用前须知
- 版本策略允许任何版本(包括补丁版本)引入新的类型错误和破坏性变更。
标签
#python#type-checker#type-annotations#language-server#lsp#static-analysis#rust#code-quality#ide#language-server-protocol
常见问题
- pyrefly 是什么?
- 用 Rust 编写的快速 Python 类型检查器与语言服务器,提供代码导航、自动补全等 IDE 功能。 Pyrefly 是一款面向 Python 的类型检查器和语言服务器。它既可以作为命令行工具检查代码中的类型错误,也能以扩展形式接入 VS Code、Neovim、Zed 等编辑器,提供代码导航、自动补全、悬停信息、inlay hints 和语义高亮等功能。
- pyrefly 可以免费使用吗?用的什么许可证?
- pyrefly 以 MIT 许可证开源。用于商业产品前,请先确认许可证条款。
- pyrefly 还在维护吗?
- 活跃维护中。pyrefly 最近一次提交是在 2026年11月6日。
- pyrefly 适合用来做什么?
- 在持续集成中为大型 Python 代码库加入静态类型检查。 在 VS Code、Neovim 或 Zed 中获得基于类型的自动补全和代码导航。 以较小改动将项目从 Mypy 或 Pyright 迁移过来。 检查 Django 或 pytest 项目,获得框架感知的支持。
- pyrefly 怎么安装和运行?
- 使用 pip 安装命令行工具: pip install pyrefly 从 IDE 安装页面安装 IDE 扩展
- 在哪里获取 pyrefly?
- 源代码和安装说明在 GitHub 上:https://github.com/meta/pyrefly
概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
相关项目
1.4万+8 本周2502LuaApache-2.0维护活跃更新于 18小时前
Elixir 官方语言服务器实现,为编辑器提供 Elixir 项目的代码智能支持。
2071121ElixirApache-2.0维护活跃更新于 17小时前
Emacs 的 Language Server Protocol 客户端,为 Emacs 提供类 IDE 的补全、诊断与代码导航。
5134+3 本周984Emacs LispGPL-3.0更新于 18天前
一个 Python 版 LSP 客户端库,用于基于语言服务器构建代码分析应用。
615+1 本周112PythonMIT维护活跃更新于 9天前
用 Rust 重写的 TypeScript 7 编译器与语言服务,可直接替换现有类型检查流程。
2953+322 本周59RustApache-2.0维护活跃更新于 18小时前
TypeScript 7 编译器(tsc)的实验性 Rust 移植版,保持相同的命令行、语言服务和 API。
1625+64 本周109RustMIT维护活跃更新于 10天前