pyrefly

Pyrefly 是一个面向 Python 的高性能类型检查器与语言服务器（LSP 实现）。它基于 Rust 构建，支持毫秒级增量类型检查、代码跳转、智能补全、悬停提示、语义高亮等 IDE 功能，并原生兼容 Pydantic、Django 等主流框架。其检查速度显著优于 Mypy 和 Pyright，已在 Meta（Instagram）2000 万行级生产代码库中验证稳定性。适用于需要高响应性类型检查与深度 IDE 集成的中大型 Python 项目，尤其适合对开发体验和类型准确性有较高要求的团队。