From c4a777ab308845ea8fc5372e785b076a434324fc Mon Sep 17 00:00:00 2001
From: Diego Prada-Gracia <prada.gracia@gmail.com>
Date: Sun, 2 Nov 2025 20:36:07 -0600
Subject: [PATCH] docs: align devtools python compatibility note

---
 devtools/AGENTS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devtools/AGENTS.md b/devtools/AGENTS.md
index 81ac438..823b01c 100644
--- a/devtools/AGENTS.md
+++ b/devtools/AGENTS.md
@@ -58,7 +58,7 @@ environment scripts, packaging utilities, and operational guidance.
   for CI-related tasks, and `docs` for dependencies to build documentation.
 
 ## Python Scripts in devtools
-- Maintain compatibility with Python >=3.10, matching `pyproject.toml`.
+- Maintain compatibility with Python 3.10–3.12 (>=3.10,<3.13), matching `pyproject.toml`.
 - Use only the standard library and dependencies already declared in the
   development profile. If you need new packages, add them to
   `requirements.yaml` first and rebroadcast.