AxiomCode Graph 发布：用形式化方法为编码智能体构建代码调用图

AxiomCode 发布 AxiomCode Graph，通过形式化方法为代码库构建知识图谱，让编码智能体基于调用关系而非 grep 来理解和修改代码。在 748 个 Defects4J 缺陷上，其选出的测试覆盖 94.9% 缺陷的全部暴露测试，优于基于 tree-sitter 的 61.5%；Java 调用解析准确率 96.5%，TypeScript 为 88.8%。