Show HN· HaoleiZ·· 19 天前精选AI 评分65
AxiomCode Graph：通过形式化方法减少编码代理重工作业
Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods
AI 导读
AxiomCode Graph 发布，通过形式化方法构建代码知识图谱，帮助 AI 代理提高代码正确性和完整性，减少重工作业。支持 Java、TypeScript 和 Python，JavaScript 和 C# 处于测试阶段。
推荐理由
AxiomCode Graph 通过形式化方法构建代码知识图谱，帮助 AI 代理提高代码正确性和完整性，减少重工作业。读者可以了解其如何改变现有工作流。
来源：Show HN · github.com