面向 AI 编码代理的模型驱动脚手架，用语义建模、应用生成和渐进式 API 辅助，让代理写出的代码可验证、可落地。

蚂蚁集团与 OpenKG 联合推出的知识图谱引擎，基于 SPG 框架做领域模型约束的知识建模，并把事实与逻辑融合表示，原生支持 KAG 知识增强生成。