Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and an extension for popular IDEs and editors such as VSCode, Neovim, Zed, and more.
厂商介绍（英语）
Pyrefly是什么软件？
Pyrefly是Meta推出的一款开源的Windows软件，属于「编程语言与SDK」类。主要使用Rust开发。
安装与系统要求
官方提供适用于64位和ARM64系统的安装包，格式为绿色版。无需安装即可运行（绿色版）。
更新与历史版本
当前最新版本为1.3.2，发布于2026年9月28日。本站收录了自2026年6月19日以来的3个版本，每个版本都附有对应安装包的下载链接。最近一次更新距今不到一个月。
热度与文件关联
GitHub上的源代码仓库（facebook/pyrefly）获得了7,123个星标。同类软件还有Go Programming Language、LLVM和Deno。
GitHub项目简介: “A fast type checker and language server for Python”
优点 / 不足
优点
- 开源：任何人都可以查看和编译源代码
- 提供原生ARM64版本，适配Windows on Arm
- 绿色版，无需安装
- 最近两个月内有更新
- 用户基数大
总结: Pyrefly是一款适用于64位和ARM64电脑的开源Windows软件，归入「编程语言与SDK」类。
Pyrefly下载安全吗？
- 文件由厂商自己的域名github.com提供
- 下载链接使用HTTPS
- 已公布SHA256值，可校验文件完整性:
3F23B1807033AFF34C96F65EAD4958D1493FBCBB087CC5BA3AB3CE9EBBD95911· 查看该哈希值的VirusTotal报告 - 链接尚未检测
- 源代码公开
- ExeAtlas不托管、不捆绑、不修改安装包
相关教程: Windows下如何校验文件的SHA256哈希值
最近版本
全部3个版本 ›命令行安装
静默安装 ›winget install --id facebook.pyrefly -e相关教程: winget使用教程：安装和更新软件
软件信息
- 厂商
- Meta
- 分类
- 编程语言与SDK
- 许可
- MIT
- 价格
- 免费
- 源代码
- github.com/facebook/pyrefly
- 开发语言
- Rust
- 系统要求
- Windows 11 / 10
- 架构
- 64位, ARM64
- 安装包类型
- 绿色版
- 版本
- 1.3.2
- 发布日期
- 2026年9月28日
- 收录日期
- 2026年7月7日
- 收录版本数
- 3
- GitHub星标
- 7,123
- GitHub分叉数
- 565
- 官网
- github.com
- winget ID
- facebook.pyrefly
评分与评价
暂无评价，欢迎第一个评分。
Pyrefly替代软件
查看全部 ›-
开源210.9万 ↓ -
开源283.4万 ↓ -
开源25万 ↓ -
开源369.7万 ↓ -
开源185.8万 ↓ -
开源222.5万 ↓ -
开源1.2万 ↓ -
开源26.4万 ↓
常见问题
Pyrefly是免费的吗？
是的。Pyrefly是开源软件，采用MIT许可证。
Pyrefly下载安全吗？
安装包来自github.com，该域名属于厂商本身；ExeAtlas不托管也不修改文件。可以将下载文件的SHA256值与本页显示的值比对，或查看该哈希值的VirusTotal报告。
如何用winget安装Pyrefly？
打开PowerShell或Windows终端，运行本页提供的winget命令即可。winget会下载官方安装包，并在运行前校验其SHA256值。
Pyrefly能在ARM电脑（Windows on Arm）上运行吗？
可以，官方提供原生ARM64安装包。
在哪里下载Pyrefly旧版本？
历史版本页面列出了全部3个版本（最早至2026年6月19日），均附有官方安装包链接。
没有管理员权限能用Pyrefly吗？
可以，它是绿色版，解压后直接运行。
Pyrefly有哪些替代软件？
Go Programming Language、LLVM、Deno、CMake和Yarn。替代软件页面对它们做了对比。
