Aura 代码变更审计

按提交和代码符号记录智能体改了什么、为何修改,并阻止偏离意图的提交。

Star 数
★ 47
最近更新
5 天前
License
Apache-2.0
主语言
Rust

30 秒速览

可在哪里用
通用 · 跨平台Codex · Claude Code
开始前需要
GitRust and Cargo when building from sourceShell / 命令行本地文件系统MCP Server
典型场景
同时使用多个编码智能体的团队,需要在数月后确认某个函数由哪个智能体修改、当时收到什么请求以及声明的修改意图。
主要局限
采用后会在仓库中增加 .aura/ 数据和 Git notes,并安装提交 hooks,团队需要把这套额外的 meaning plane 纳入工作流。

这个 Agent 能做什么,适合哪些场景?

Aura 是构建在 Git 之上的代码变更审计与语义版本层,按提交记录智能体或开发者修改了哪些符号、修改原因及签名来源。它以 Rust 引擎为核心,通过 `aura` CLI、Tauri + React 桌面应用和 VS Code 扩展共享同一个 `.aura/` meaning plane。提交时,Git hook 使用 Tree-sitter 解析代码,将函数和类表示为带调用边的 AST Merkle 图,再把实际变更与声明的意图进行比较。其输出包括可查询的来源记录、语义审查结果、签名元数据、AI 用量与成本记录,以及无需撤销整个提交的函数级回退。数据默认保存在本地 `.aura/` 和 Git notes 中,无需服务器;只有配置云同步时才会离开本机。

运行 aura init 后,Aura 会在仓库中安装 Git hooks。每次提交都会经过 AST 解析和节点级差异比较,并与写入中的意图记录关联;若声明要修改登录逻辑却实际触及计费代码,pre-commit gatekeeper 可以阻止提交。aura why <file> 查询某个文件或行的提交、作者或智能体、原始请求、意图和记录方式。CLI 还提供 semantic review、基于 AST 节点的函数级 rewind、Crew 工作循环、AI 用量与成本跟踪,以及通过 aura mcp 启动的 MCP server;桌面端和 VS Code 扩展读取并写入相同的 .aura/ 数据。Aura 支持以 Tree-sitter 分析 Rust、Python、TypeScript、JavaScript、Go、Java、C#、C++、C、Ruby、PHP、Swift 和 Kotlin。

  1. 同时使用多个编码智能体的团队,需要在数月后确认某个函数由哪个智能体修改、当时收到什么请求以及声明的修改意图。
  2. 受审计要求约束的工程团队,需要为每个代码符号保留带签名的变更来源和理由。
  3. 希望在提交前发现任务越界的维护者,例如智能体声称调整重试策略,却删除了身份验证检查。
  4. 需要撤回单个错误函数、但不希望回滚同一提交中其他有效修改的开发者。
  5. 在大型代码库中审查架构漂移、层级违规或静默删除的团队,希望基于调用图和 AST 变化而非纯文本 diff 进行检查。
  6. 使用 Claude Code、Gemini CLI、Codex CLI、Kimi、Cursor 或 OpenCode 的团队,希望把多个工具产生的提交记录汇总到同一仓库内。

如何安装或部署这个 Agent?

预编译安装方式适用于 macOS、Linux 和 Windows,并需要可执行 Bash 安装命令的 shell:

curl -fsSL https://auravcs.com/install.sh | bash
cd your-repo && aura init

aura init 会为当前 Git 仓库安装 hooks。若选择从源码构建,需要 Rust 与 Cargo;在仓库根目录运行:

cargo build --release

基础的本地运行不需要服务器或云凭据。README 没有给出云同步所需的账户、凭据或配置步骤。

如何使用这个 Agent?

初始化后,正常创建提交即可触发 AST 解析、语义差异计算、意图记录与提交门禁。查询文件的变更原因:

aura why src/billing.rs

若要让支持 MCP 的编码智能体直接调用 Aura,可将以下配置加入该客户端的 MCP 配置:

{
  "mcpServers": {
    "aura-vcs": { "command": "aura", "args": ["mcp"] }
  }
}

该 MCP server 提供 30 多个工具,其中包括用于读取智能体开销的 aura_usage。如需关闭遥测,可设置以下任一环境变量:

export AURA_TELEMETRY_OPTOUT=1
export DO_NOT_TRACK=1

这个 Agent 有哪些优点和局限?

优点
  • 不仅记录文本行,还在函数和类等符号级别保存意图、来源与签名,适合追踪智能体生成的变更。
  • pre-commit gatekeeper 会把声明意图与实际 AST 变化进行比较,可在偏离任务的修改落库前阻止提交。
  • 函数级 rewind 操作 AST 节点,可恢复单个函数而无需撤销周边提交,也避免该操作产生文本合并冲突。
  • CLI、桌面应用和 VS Code 扩展共享同一 .aura/ meaning plane,跨界面查看时不需要迁移记录。
  • 核心数据保存在仓库内的 .aura/ 与 Git notes 中,本地使用无需部署服务器。
局限
  • 采用后会在仓库中增加 .aura/ 数据和 Git notes,并安装提交 hooks,团队需要把这套额外的 meaning plane 纳入工作流。
  • 语义分析明确限定为 13 种受支持语言;来源未证明其他语言能够获得同等的 AST 级审计和回退能力。
  • 不同智能体的集成深度并不完全相同:Claude Code 有 MCP、状态栏和 transcript parsing,而 Cursor 仅明确列出 workspace detection。
  • 云同步是可选能力,但所给材料没有说明部署方式、凭据、费用或同步故障处理,因此无法据此评估跨设备方案。
  • 从源码构建依赖 Rust 与 Cargo;桌面应用和 VS Code 扩展还各自拥有独立的构建目录与流程。

这个 Agent 与同类方案有什么区别?

Aura 不替代 Git,而是在 Git 的字节、文本差异、提交和分支之上增加 meaning plane。Git 继续管理原有历史、远端和工作流;Aura 另外维护 AST Merkle 图、逻辑节点、调用边、意图、来源与签名元数据。相较于只显示行级归属的 git blame,Aura 的目标是回答哪个开发者或智能体改动了具体符号、为何修改,以及实际变化是否符合声明意图。

与相关度最高的同类 agent 并排比较关键指标。

Agent 源码审查 Star 最近更新 主语言 完整支持的平台
Aura 代码变更审计 当前 70 · 存在缺口 ★ 47 5 天前 Rust Codex · Claude Code
Argot 仓库风格审查器 93 · 表现优秀 ★ 48 14 天前 Rust Claude Code
git-lrc 提交前 AI 代码审查 80 · 表现良好 ★ 1.5k 7 天前 Go Claude Code · OpenAI API · Claude API
Gortex 代码智能引擎 78 · 表现良好 ★ 1.6k 7 天前 Go Codex · Claude Code · OpenAI API · Claude API

FollowAgents 如何评估这个 Agent?

FollowAgents 源码审查 · FARS-2.1
存在缺口
70/ 100 五分制 3.5 / 5
信任安全 16/29
可靠稳定 9/14
适用触发 14/18
规范维护 14/18
有效结果 12/13
证据核验 5/8
查看各维度的扣分理由
信任安全16 / 29 · 2.8/5

README明确说明本地存储位置、Git hooks、Git notes、可选云同步和遥测退出方式,并提供意图门控、签名归因及函数级回退;桌面测试还要求停止失败时保留会话入口并提示重试。扣分在于30多个MCP工具、代理进程、转录读取、网络与云同步的具体权限边界和逐项确认机制没有展示;“除非配置云同步否则数据不离机”与默认存在可退出遥测之间也缺少数据字段、目的地和保留期说明。敏感数据保护主要由依赖注释和概述断言,未提供脱敏、密钥存储或加密实现。依赖版本较明确且部分依赖内置,但没有锁文件、漏洞审计或更新自动化证据。

可靠稳定9 / 14 · 3.2/5

Cargo清单说明将内部crate纳入仓库以支持新克隆构建,CI覆盖Linux和macOS的构建、端到端及单元测试;桌面测试对停止失败、守护进程不可达、未知CLI命令和回退显示规定了具体错误行为,因此失败消息证据充分。扣分在于README声称支持Windows,而给出的发布矩阵和端到端矩阵均不包含Windows;独立stackgraph二进制被排除于工作区且通过外部进程连接,其交付可用性未完全说明。未执行测试,因此不评价运行结果。

适用触发14 / 18 · 3.9/5

文档清楚覆盖审计、人工或代理提交、语义审查、回退、桌面端、CLI、VS Code、MCP以及多种代理和13种语言;测试也显示不同代理具有专属命令集和保守回退。扣分在于能力边界多为高层描述,代理自动检测、提交阻断、云同步和语义分析的精确触发条件及误报处理没有完整规则;Windows适配缺少对应CI和发布产物佐证。

规范维护14 / 18 · 3.9/5

README结构清晰,提供快速开始、工作原理、仓库布局、FAQ、隐私、集成和构建入口;包版本为0.19.52,发布工作流按标签生成说明,Apache-2.0全文与元数据一致。扣分在于curl管道安装缺少校验、固定版本和卸载说明,桌面端与扩展的完整安装步骤未给出;已知限制主要散落在安全政策和测试注释中,没有集中列出语义解析、回退、代理检测或云功能限制。维护方、贡献入口和私密漏洞报告路径明确,但发行者身份未由企业注册表验证,且备用安全联系渠道不够具体。

有效结果12 / 13 · 4.6/5

示例输出把提交、请求、意图、代理与时间关联起来,产品还提供提交前门控、符号级审计、语义审查和函数级回退;桌面测试对可读标签、跨代理聊天、错误恢复和布局可用性有细致约束,显示出明显的增量价值。扣分在于性能、仓库体积、解析开销、误报率、遥测成本以及云同步成本均无量化证据,广泛能力带来的部署和维护成本也未讨论。

证据核验5 / 8 · 3.1/5

主要产品主张与具体目录、命令、配置位置、Cargo依赖、CI流程及行为测试相互关联,部分测试还明确区分运行时未知信息与可静态确认的信息。扣分在于关键安全与效果主张仍主要来自README和代码注释,未提供核心实现文件、锁文件、签名验证测试、脱敏测试或发布产物校验;“无冲突回退”“完整来源证明”“什么都不离机”等绝对性表述没有在所给材料中得到充分交叉证明。

风险与缓解建议
  • 安装命令将远程脚本直接交给shell执行;采用前应固定版本并独立检查脚本、校验和及发布签名。
  • README的本地化隐私承诺与可退出遥测并存;应先确认默认发送的字段、端点、触发条件和保留期限。
  • 该工具会安装Git hooks、读取代理转录、运行代理进程并暴露大量MCP工具;应在隔离仓库中审查其命令和文件访问边界。
  • Windows支持没有在所给CI或发布矩阵中得到证明,且项目为pre-1.0、仅支持最新版本线。
  • 函数级无冲突回退、签名来源证明和提交阻断效果均未由所给实现或执行结果独立验证。
证据充分度: 评估于 2026年9月24日 审查版本 3708210dbe70
查看完整评分方法 →

常见问题

代码或审计数据会上传到外部服务吗?
默认不会。数据保存在本地 .aura/ 和 Git notes 中;只有主动配置云同步时才会离开本机。AI 用量跟踪读取本地 Claude Code transcripts,不发起 API 调用。
Aura 会改变现有 Git 历史或远端工作流吗?
不会替代 Git;现有历史、remotes 和工作方式保持不变。它通过 Git hooks、.aura/ 和 Git notes 增加一层语义记录。
必须使用 Claude Code 才能获得审计记录吗?
不必须。Aura 明确检测 Claude Code、Gemini CLI、Codex CLI、Kimi、Cursor 和 OpenCode;任何能产生提交的工具也可以通过 Git-hook capture path 被记录。不同工具的原生集成深度有所差异。
人工编写的提交也能使用门禁和回退吗?
可以。意图门禁、函数级 rewind 和 semantic review 均适用于人工提交,此时 provenance 会把变更者记录为开发者本人。
本地运行需要云账户或常驻服务器吗?
不需要。Aura 的两个数据平面都位于仓库内,本地基础功能无需服务器;云同步属于可选配置。
在 GitHub 查看 ↗ 安装 ↓

对比同类 Agent

用同一套 FARS 评审,横向比较这个 Agent 所属的短名单。

相关 Agents