chore(data): pyre-check is superseded by pyrefly

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

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.'