解决的问题 很多几何工具只有可视化，没有可复现的约束过程。教育产品需要可验证的几何推理链路。 目标用户 课程产品团队、教研平台、评测系统与教育机构技术团队。 核心能力 确定性几何约束求解 可编程几何 DSL 脚本 面向定理探索的可视化运行时 当前阶段 正在和教育合作方进行试点集成与课程场景验证。 近期路线 扩展评测系统接口和课堂内容编辑器连接能力。