解決的問題 許多幾何工具只有可視化，缺少可重現的約束過程。教育產品需要可驗證的幾何推理鏈路。 目標用戶 課程產品團隊、教研平台、評測系統與教育機構技術團隊。 核心能力 確定性幾何約束求解 可程式化幾何 DSL 腳本 面向定理探索的可視化運行時 當前階段 正在與教育合作方進行試點整合與課程場景驗證。 近期路線 擴展評測系統接口與課堂內容編輯器連接能力。