Pyrefly

Pyrefly 是 Meta 的 Python fast type checker 与 language server，目标是在大型代码库中提供更快的类型反馈。README 摘要列出 lightning-fast type checking、code navigation、semantic highlighting、code completion，并支持 CLI 与编辑器扩展。Python 类型系统的收益常被反馈延迟抵消，Pyrefly 的看点就在于把 type checking 拉近编辑循环；对逐步类型化和大型 monorepo 尤其有价值。