Meta 的一款开源代码导航工具 Pyrefly。所谓代码导航就是帮你在代码里快速找到各种定义、引用，或者跳转到你需要的位置。在实际开发中，尤其是面对大型项目，代码导航能大幅提高查找、理解和修改代码的效率。比如你想看看某个函数的定义，或者找到谁在用它，好的代码导航工具能一键带你过去。
Pyrefly 除了导航，还内置了类型检查功能，能在你写代码的时候提前发现类型相关的问题。和常见的类型检查工具相比，Pyrefly 的优势是更快、更适合大项目。它已经在 Meta 内部的 Instagram 团队规模用起来了，所以不管你的项目多大，基本都能应对。
目前 Pyrefly 已经提供了 VS Code、PyCharm、Neovim 等编辑器的扩展，也支持主流 AI 代码编辑器。有在线文档和沙盒环境可以免费试用。
开发团队特别对 Python 类型系统的兼容性做了很多改进，现在类型规范的支持率已经接近 70%，而且还在不断完善中。新版本还对 Pydantic 和 Django 有了初步支持，这意味着如果你在用这些库，Pyrefly 也能帮你做一些静态检查，提前发现问题。
Pyrefly 特别适合正在开发和维护大型项目的 Python 开发者。
下载地址：pyrefly.org
