Update requirements_proxy_only.txt

codelion · codelion · commit e982d4237dd6 · 2025-09-29T11:29:13.000+08:00
diff --git a/requirements_proxy_only.txt b/requirements_proxy_only.txt
@@ -8,4 +8,5 @@ cerebras_cloud_sdk
 numpy
 networkx
 z3-solver
-sympy
+sympy
+math_verify
