针对AI编码代理的意图可寻址代码

Causari 是一个全新的开源工具，旨在解决 AI 编码代理中一个根本性问题：如何可靠地追踪 AI 代理生成的每一行代码的来源和意图。传统版本控制系统只记录文本变更，而 Causari 更进一步，捕捉代理在代码库上采取的所有行动——不仅仅是更改的字节，还包括引导变更的提示、响应模型、读取的文件以及背后的原因。

Causari 的核心创新在于其捕获引擎，该引擎通过两个独立的观察流（LLM 代理和文件系统监控器）运行，然后通过内容相关性将它们合并。这意味着即使代理不主动报告自己的行为，Causari 也能记录其活动。用户只需将代理指向 Causari 的本地代理（例如设置 OPENAI_BASE_URL=http://127.0.0.1:4242），即可自动捕捉每个提示、完成标记和成本。

Causari 提供了一系列命令来查询这些数据。例如，re why 可以回答特定代码行是由哪个提示、模型和代理生成的；re trace 显示完整的因果锥，包括所有间接贡献的事件；re bisect 可以找出导致测试失败的代理操作。这些功能使开发者能够像询问“为什么”一样轻松地调试 AI 生成代码的问题。

除了记录，Causari 还引入了技能（skill）概念。通过 re skill distill 命令，系统可以将验证成功的操作模式压缩为经过 Ed25519 数字签名的可重用技能单元。这些技能可以在团队中共享，信任通过签名密钥管理——未知签名者的技能会被拒绝。代理在行动前可以调用这些技能，从而避免重复犯同样的错误，提高效率并降低成本。

Causari 还支持 Crovia 密封，这是一种开放标准（IETF 草案）的加密收据，用于 AI 输出。启用 --seal 标志后，每个完成都会获得 Ed25519 签名的收据，包含请求和响应的哈希链。任何人都可以离线验证这些收据的真实性，无需服务器或 Causari 账户。

最后，Causari 提供可验证的 AI 来源证明（Proof），这是一个带签名的证书，汇总了仓库的 AI 活动。用户可以在 README 中嵌入徽章，任何人都可以运行 re proof verify 来离线验证证明的完整性。该项目采用 BSL 1.1 许可证，核心功能免费，商业使用（如托管验证页面）需要付费。

Causari 与代理无关，支持 Claude Code、Cursor、Cline 等。它旨在成为 AI 编码时代的“git”，提供不可篡改的意图和来源记录。