Pyrefly LSP Integration with Type Engine in PyCharm 2026.1.2 | The PyCharm Blog

In PyCharm 2026.1.2, the integration of Pyrefly as an external type provider through the Language Server Protocol (LSP) significantly enhances the IDE's code insight features by delivering faster and more efficient type-checking capabilities. Pyrefly, developed by Meta, is a next-generation Python type checker built in Rust, offering improved performance, cross-platform portability, and robust handling of large-scale Python codebases compared to its predecessor, Pyre. Once enabled, Pyrefly supports essential IDE functionalities such as type inference and diagnostics, quick documentation, and inlay hints with immediate error reporting, although it currently lacks support for certain configurations like Docker and multi-module projects. Users can switch to Pyrefly via the Type widget in PyCharm, where its speed and efficiency markedly outperform the built-in type engine, thus facilitating better performance and scalability for developers managing complex Python projects.