标签：AI 工具

让大模型可靠地驱动 GeoGebra：语法解析与 AST 校验

大模型可以生成数学构图命令，但可靠执行需要语法边界、AST 校验和明确的错误回路。