PyCharm 2026.1.2 introduces Pyrefly as an optional external type provider via the Language Server Protocol (LSP). Pyrefly is Meta's next-generation Python type checker rewritten in Rust, replacing the OCaml-based Pyre. It offers significantly faster type inference, type-related diagnostics, quick documentation, and inlay hints compared to PyCharm's built-in engine, resolving files in 0.5–1 seconds. Enabling it is straightforward via the Type widget at the bottom of the IDE. Current limitations include support only for local interpreter configurations, with Docker, WSL, SSH, and multi-module project support planned for future releases.
Table of contents
What is the Pyrefly LSP?Using Pyrefly in PyCharmPyrefly vs. the built-in type engineDownload the latest version of PyCharm and try it out4.6K Impressions