Aura 代码变更审计
按提交和代码符号记录智能体改了什么、为何修改,并阻止偏离意图的提交。
- Star 数
- ★ 47
- 最近更新
- 5 天前
- License
- Apache-2.0
- 主语言
- Rust
- FA 评分
- 70/100 · 存在缺口
30 秒速览
- 可在哪里用
- 通用 · 跨平台Codex · Claude Code
- 开始前需要
- 典型场景
- 同时使用多个编码智能体的团队,需要在数月后确认某个函数由哪个智能体修改、当时收到什么请求以及声明的修改意图。
- 主要局限
- 采用后会在仓库中增加
.aura/数据和 Git notes,并安装提交 hooks,团队需要把这套额外的 meaning plane 纳入工作流。 - 源码审查
- 70/100 · 存在缺口
这个 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。
- 同时使用多个编码智能体的团队,需要在数月后确认某个函数由哪个智能体修改、当时收到什么请求以及声明的修改意图。
- 受审计要求约束的工程团队,需要为每个代码符号保留带签名的变更来源和理由。
- 希望在提交前发现任务越界的维护者,例如智能体声称调整重试策略,却删除了身份验证检查。
- 需要撤回单个错误函数、但不希望回滚同一提交中其他有效修改的开发者。
- 在大型代码库中审查架构漂移、层级违规或静默删除的团队,希望基于调用图和 AST 变化而非纯文本 diff 进行检查。
- 使用 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 initaura 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=1export 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?
查看各维度的扣分理由
README明确说明本地存储位置、Git hooks、Git notes、可选云同步和遥测退出方式,并提供意图门控、签名归因及函数级回退;桌面测试还要求停止失败时保留会话入口并提示重试。扣分在于30多个MCP工具、代理进程、转录读取、网络与云同步的具体权限边界和逐项确认机制没有展示;“除非配置云同步否则数据不离机”与默认存在可退出遥测之间也缺少数据字段、目的地和保留期说明。敏感数据保护主要由依赖注释和概述断言,未提供脱敏、密钥存储或加密实现。依赖版本较明确且部分依赖内置,但没有锁文件、漏洞审计或更新自动化证据。
Cargo清单说明将内部crate纳入仓库以支持新克隆构建,CI覆盖Linux和macOS的构建、端到端及单元测试;桌面测试对停止失败、守护进程不可达、未知CLI命令和回退显示规定了具体错误行为,因此失败消息证据充分。扣分在于README声称支持Windows,而给出的发布矩阵和端到端矩阵均不包含Windows;独立stackgraph二进制被排除于工作区且通过外部进程连接,其交付可用性未完全说明。未执行测试,因此不评价运行结果。
文档清楚覆盖审计、人工或代理提交、语义审查、回退、桌面端、CLI、VS Code、MCP以及多种代理和13种语言;测试也显示不同代理具有专属命令集和保守回退。扣分在于能力边界多为高层描述,代理自动检测、提交阻断、云同步和语义分析的精确触发条件及误报处理没有完整规则;Windows适配缺少对应CI和发布产物佐证。
README结构清晰,提供快速开始、工作原理、仓库布局、FAQ、隐私、集成和构建入口;包版本为0.19.52,发布工作流按标签生成说明,Apache-2.0全文与元数据一致。扣分在于curl管道安装缺少校验、固定版本和卸载说明,桌面端与扩展的完整安装步骤未给出;已知限制主要散落在安全政策和测试注释中,没有集中列出语义解析、回退、代理检测或云功能限制。维护方、贡献入口和私密漏洞报告路径明确,但发行者身份未由企业注册表验证,且备用安全联系渠道不够具体。
示例输出把提交、请求、意图、代理与时间关联起来,产品还提供提交前门控、符号级审计、语义审查和函数级回退;桌面测试对可读标签、跨代理聊天、错误恢复和布局可用性有细致约束,显示出明显的增量价值。扣分在于性能、仓库体积、解析开销、误报率、遥测成本以及云同步成本均无量化证据,广泛能力带来的部署和维护成本也未讨论。
主要产品主张与具体目录、命令、配置位置、Cargo依赖、CI流程及行为测试相互关联,部分测试还明确区分运行时未知信息与可静态确认的信息。扣分在于关键安全与效果主张仍主要来自README和代码注释,未提供核心实现文件、锁文件、签名验证测试、脱敏测试或发布产物校验;“无冲突回退”“完整来源证明”“什么都不离机”等绝对性表述没有在所给材料中得到充分交叉证明。
- 安装命令将远程脚本直接交给shell执行;采用前应固定版本并独立检查脚本、校验和及发布签名。
- README的本地化隐私承诺与可退出遥测并存;应先确认默认发送的字段、端点、触发条件和保留期限。
- 该工具会安装Git hooks、读取代理转录、运行代理进程并暴露大量MCP工具;应在隔离仓库中审查其命令和文件访问边界。
- Windows支持没有在所给CI或发布矩阵中得到证明,且项目为pre-1.0、仅支持最新版本线。
- 函数级无冲突回退、签名来源证明和提交阻断效果均未由所给实现或执行结果独立验证。
常见问题
代码或审计数据会上传到外部服务吗?
.aura/ 和 Git notes 中;只有主动配置云同步时才会离开本机。AI 用量跟踪读取本地 Claude Code transcripts,不发起 API 调用。Aura 会改变现有 Git 历史或远端工作流吗?
.aura/ 和 Git notes 增加一层语义记录。