Pyrefly — это средство проверки типов и языковой сервер для Python, который обеспечивает молниеносную проверку типов, а также такие функции IDE, как навигация по коду, семантическое выделение и автодополнение кода.

Он доступен в виде инструмента командной строки и расширения для VSCode.

🐱 GitHub