ghostyn678+git@gmail.com dsaf Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. facebook/pyrefly pyrefly https://github.com/facebook/pyrefly/issues https://pyrefly.org/en/docs/