Pyrefly
Meta开源的Python静态类型检查工具，基于Rust实现，具备高性能和跨环境一致性，支持编辑器、终端和CI流水线使用同一引擎进行类型检查
Timeline (last 90 days)
Pyrefly是Meta将原本用OCaml编写的旧类型检查器Pyre用Rust重写而成的Python静态类型检查器
Pyrefly的关键特性是编辑器、终端、CI使用同一个引擎，三者结果不会相互矛盾
Pyrefly免费、开源，其VS Code扩展下载量已达约8100万次，Instagram和PyTorch都在使用它
可通过uv add pyrefly或pip install pyrefly安装Pyrefly，运行uv run pyrefly check可扫描整个项目
若项目中没有任何配置文件，Pyrefly以basic模式运行，只检查最严重的类型问题；更激进的检查需添加配置文件
静态检查器要发挥作用仍需给代码添加类型注解，完全没有类型注解时Pyrefly会显示0 errors
在速度测试中，Pyrefly检查PyTorch用3.7秒而MyPy用54.92秒（约快15倍），检查NumPy用20秒而MyPy用1分49秒，检查scikit-learn约1秒而MyPy约6.3秒（约快6倍）
Pyrefly可通过添加CLI skill和agents.md文件集成到AI agent工作循环中，使模型每次改动后运行检查
All Facts (8)
Pyrefly是Meta将原本用OCaml编写的旧类型检查器Pyre用Rust重写而成的Python静态类型检查器
50%UnverifiedPyrefly的关键特性是编辑器、终端、CI使用同一个引擎，三者结果不会相互矛盾
50%UnverifiedPyrefly免费、开源，其VS Code扩展下载量已达约8100万次，Instagram和PyTorch都在使用它
50%Unverified可通过uv add pyrefly或pip install pyrefly安装Pyrefly，运行uv run pyrefly check可扫描整个项目
50%Unverified若项目中没有任何配置文件，Pyrefly以basic模式运行，只检查最严重的类型问题；更激进的检查需添加配置文件
50%Unverified静态检查器要发挥作用仍需给代码添加类型注解，完全没有类型注解时Pyrefly会显示0 errors
50%Unverified在速度测试中，Pyrefly检查PyTorch用3.7秒而MyPy用54.92秒（约快15倍），检查NumPy用20秒而MyPy用1分49秒，检查scikit-learn约1秒而MyPy约6.3秒（约快6倍）
50%UnverifiedPyrefly可通过添加CLI skill和agents.md文件集成到AI agent工作循环中，使模型每次改动后运行检查
50%