diff --git a/README.md b/README.md
index 6d6f081..179ed57 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Lean Agent
 
-独立 Python 3.11+ 项目：LLM 生成 tactic → Lean 验证 → 把错误反馈给模型修复。已在 Lean 4.33.1 验证，无 Python 运行时第三方依赖。
+独立 Python 3.11+ 项目：LLM 生成 tactic → Lean 验证 → 把错误反馈给模型修复。已在 Lean 4.35.0 验证（CI：ubuntu24.04-x64-lean4.35 runner，含 Mathlib v4.35.0），无 Python 运行时第三方依赖。
 
 ## 使用