From 15fe9352070b804ef69294df64724cbf7ab63ea5 Mon Sep 17 00:00:00 2001
From: Nigel Stuke <zew1me>
Date: Sun, 8 Feb 2026 11:05:00 -0800
Subject: [PATCH 1/3] chore(data): pyre-check is superseded by pyrefly

---
 data/tools/pyre-check.yml | 11 -----------
 data/tools/pyrefly.yml    | 11 +++++++++++
 2 files changed, 11 insertions(+), 11 deletions(-)
 delete mode 100644 data/tools/pyre-check.yml
 create mode 100644 data/tools/pyrefly.yml

diff --git a/data/tools/pyre-check.yml b/data/tools/pyre-check.yml
deleted file mode 100644
index 9a06c2cd7..000000000
--- a/data/tools/pyre-check.yml
+++ /dev/null
@@ -1,11 +0,0 @@
-name: pyre-check
-categories:
-  - linter
-tags:
-  - python
-license: MIT License
-types:
-  - cli
-source: 'https://github.com/facebook/pyre-check'
-homepage: 'https://pyre-check.org'
-description: 'A fast, scalable type checker for large Python codebases.'
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.'

From f388d766c129919ec75e32d629e73e711d926eb3 Mon Sep 17 00:00:00 2001
From: Nigel Stuke <zew1me>
Date: Sun, 8 Feb 2026 11:50:01 -0800
Subject: [PATCH 2/3] chore(data): deprecate pyre-check entry

---
 data/tools/pyre-check.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 data/tools/pyre-check.yml

diff --git a/data/tools/pyre-check.yml b/data/tools/pyre-check.yml
new file mode 100644
index 000000000..10f7691ae
--- /dev/null
+++ b/data/tools/pyre-check.yml
@@ -0,0 +1,12 @@
+name: pyre-check
+categories:
+  - linter
+tags:
+  - python
+license: MIT License
+types:
+  - cli
+source: 'https://github.com/facebook/pyre-check'
+homepage: 'https://pyre-check.org'
+description: 'A fast, scalable type checker for large Python codebases.'
+deprecated: true

From 3343b2b11d41589b16df06b5a71fe4bba11a589a Mon Sep 17 00:00:00 2001
From: Nigel Stuke <zew1me>
Date: Sun, 8 Feb 2026 11:50:44 -0800
Subject: [PATCH 3/3] chore(data): note pyrefly as pyre-check successor

---
 data/tools/pyre-check.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/data/tools/pyre-check.yml b/data/tools/pyre-check.yml
index 10f7691ae..b458dfad3 100644
--- a/data/tools/pyre-check.yml
+++ b/data/tools/pyre-check.yml
@@ -8,5 +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