From ea5f80a47134c5e9457accc3687bb17512ee02fa Mon Sep 17 00:00:00 2001
From: Christian Findlay <16697547+MelbourneDeveloper@users.noreply.github.com>
Date: Tue, 4 Aug 2026 20:09:18 +1000
Subject: [PATCH 1/2] Add basilisk-python

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 97eaf3547a..41ff4bf78b 100644
--- a/README.md
+++ b/README.md
@@ -641,6 +641,7 @@ _Tools of static analysis, linters and code quality checkers. Also see [awesome-
 - Refactoring
   - [rope](https://github.com/python-rope/rope) - Rope is a python refactoring library.
 - Type Checkers - [awesome-python-typing](https://github.com/typeddjango/awesome-python-typing)
+  - [basilisk-python](https://github.com/Nimblesite/Basilisk) - A strict-by-default type checker and language server, the only checker passing every test in the official typing conformance suite.
   - [mypy](https://github.com/python/mypy) - Check variable types during compile time.
   - [pyrefly](https://github.com/facebook/pyrefly) - A fast type checker and language server for Python.
   - [ty](https://github.com/astral-sh/ty) - An extremely fast Python type checker and language server.

From adc5a911a3abb94fd5d2b2c7de707efedd7363f6 Mon Sep 17 00:00:00 2001
From: Christian Findlay <16697547+MelbourneDeveloper@users.noreply.github.com>
Date: Tue, 4 Aug 2026 20:23:03 +1000
Subject: [PATCH 2/2] Reword the entry

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 41ff4bf78b..d73ef148d9 100644
--- a/README.md
+++ b/README.md
@@ -641,7 +641,7 @@ _Tools of static analysis, linters and code quality checkers. Also see [awesome-
 - Refactoring
   - [rope](https://github.com/python-rope/rope) - Rope is a python refactoring library.
 - Type Checkers - [awesome-python-typing](https://github.com/typeddjango/awesome-python-typing)
-  - [basilisk-python](https://github.com/Nimblesite/Basilisk) - A strict-by-default type checker and language server, the only checker passing every test in the official typing conformance suite.
+  - [basilisk-python](https://github.com/Nimblesite/Basilisk) - A strict-by-default type checker and language server with high conformance to the Python typing specification.
   - [mypy](https://github.com/python/mypy) - Check variable types during compile time.
   - [pyrefly](https://github.com/facebook/pyrefly) - A fast type checker and language server for Python.
   - [ty](https://github.com/astral-sh/ty) - An extremely fast Python type checker and language server.