从安装包到可用功能：我用 REA 做了一次完整实操
作者与 Codex 协作，使用 REA（为 AI 提供软件分析工具调用入口的框架）分析 Notion 官方安装包中的剪贴板模块，查清文字与图片复制函数的输入处理、重试逻辑、异步时序、错误阶段和资源清理等细节规则。随后整理行为说明、实现独立的复制工具，并通过 30 项受控测试与原函数对照，最终全部一致。文章总结了缩小分析目标、固定版本与文件指纹、用证据驱动验证的方法，以及 REA 适用与不适用的场景。
全部文档 / 标签: 静态分析
2 篇
语义代码导航如何将 Agent Token 成本降低最多 36%
文章以微软和 Uber 的 AI 编程 Token 成本失控为引子，指出编码 Agent 的成本大头不在写代码，而在用文本搜索定位需要修改的位置。文本搜索存在三种失效场景：名称匹配过多、同名不同义、以及结构性关联无词可搜。解决方案是将代码库建模为图结构（类、方法、接口为节点，调用、继承等为边），让 Agent 直接进行结构化查询。实测显示该方法在四语言的六个任务中全部降低成本，最高降 36%，Sonar 的 Vortex 产品即基于此思路。
