axiom

Axiom 是一款源码可见的工具，同时作为 CLI 和 MCP 服务器，将代码库索引为符号图来回答智能体的查询。它被描述为“一个既是 CLI 又是 MCP 服务器的二进制文件。它把代码库索引成符号图，并针对该图回答智能体的问题：这个符号长什么样、哪些测试能到达它、这段代码片段真的能运行吗，以及在记录这次变更之前检查了什么。”它与 Git 和 CI 并行工作，通过提供快速的本地答案而不是等待远程 CI，旨在缩短智能体的迭代时间。“Axiom 位于 Git 和 CI 旁边，而不是取代它们。Git 存储你的历史，CI 把关你的合并。Axiom 消除了智能体在每次迭代中付出的往返：与其推送后等上几分钟才得知某个变更搞坏了东西，智能体可以询问哪些测试能到达它所改动的符号，用该符号自己的语言运行一段代码片段，并在毫秒内得到答案。”该工具有三大优势：影响范围测试选择、通过共享操作日志协调多个智能体，以及使用内存中三元组索引的近乎即时的代码搜索。“影响范围从变更的符号出发，沿反向依赖图走到能观察到它的测试，因此智能体只运行这些测试而跳过其余的。”“变更被记录到由 Tree-CRDT 支持的共享可交换操作日志中，因此位于不同进程的智能体无论其工作以何种顺序落地，都会收敛到同一棵树，无需锁，也没有合并冲突。”“服务器在扫描过的树上维护一个内存中的三元组索引。”Axiom 提供八个 MCP 工具，用于符号查询、影响范围、代码片段求值、变更应用等。它支持多种语言，并可使用 SCIP 索引来获得精确的符号图。“Axiom 实现了 Model Context Protocol（MCP）。任何兼容 MCP 的智能体（Claude Code、Claude Desktop、Cursor、Windsurf）都可以连接到它。”