Pyrefly is a type checker and language server designed for Python, offering features like type inference, code navigation, and semantic highlighting. It supports various IDEs and is actively developed, with a focus on performance and module-level incrementality. Users can report bugs and participate in discussions via Discord.

Pyrefly is a fast type checker and language server for Python that offers powerful IDE features, enabling users to type check over 1.85 million lines of code per second. It provides instant feedback and lightning-fast autocomplete, enhancing the development experience. Users can connect on Discord for support and share feedback.