diff --git a/data/tools/pyre-check.yml b/data/tools/pyre-check.yml index 9a06c2cd7..b458dfad3 100644 --- a/data/tools/pyre-check.yml +++ b/data/tools/pyre-check.yml @@ -8,4 +8,7 @@ types: - cli source: 'https://github.com/facebook/pyre-check' homepage: 'https://pyre-check.org' -description: 'A fast, scalable type checker for large Python codebases.' +description: >- + A fast, scalable type checker for large Python codebases. Pyre-check has + been superseded by Pyrefly, its next iteration. +deprecated: true diff --git a/data/tools/pyrefly.yml b/data/tools/pyrefly.yml new file mode 100644 index 000000000..a103de5e8 --- /dev/null +++ b/data/tools/pyrefly.yml @@ -0,0 +1,11 @@ +name: pyrefly +categories: + - linter +tags: + - python +license: MIT License +types: + - cli +source: 'https://github.com/facebook/pyrefly' +homepage: 'https://pyrefly.org/' +description: 'A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.'