aver

让 AI 写的代码,每一行都能被审计和信任

开源 🏷️完全免费 🔧 仅开源项目,无在线服务,需自行部署 编程开发 🍴 复刻 2 🐛 待处理 5
访问官网 ↗ GitHub ↗
GitHub 星标 ★ 66
维护状态 活跃
是否开源 开源
定价模式 🏷️完全免费 开源项目,MIT许可证,完全免费,无付费版本。

项目预览

aver 项目界面预览图
图片来源:GitHub 官方仓库名片

项目数据

分类编程开发
开发团队jasisz
定价模式🏷️完全免费
价格说明开源项目,MIT许可证,完全免费,无付费版本。
访问状态🔧 仅开源项目,无在线服务,需自行部署
是否开源是
开源协议MIT
主要语言Rust
技术栈/模型ai-code,effect-system,formal-verification,lean4,programming-language,rust,spec-tests,transpiler
GitHub 星标★ 66
上线时间2026-02-24 00:00:00
代码更新2026-11-08
仓库体积90.4 MB
本站数据更新2026-11-09
维护状态活跃
收录时间2026-08-09
浏览次数5

项目介绍

Aver 是一门专为可审计的 AI 编写代码而设计的编程语言,基于 Rust 实现。它解决的核心问题是:当 AI 生成代码时,如何确保代码的可信度、来源可追溯性和行为可验证性。Aver 通过语言层面的机制,为每一段代码附加生成来源、意图和约束信息,使 AI 产出的代码能够被人类审计者清晰理解、验证和信任。其核心能力包括:内置的审计元数据支持、与 AI 工具链的集成接口、以及强调可读性和可解释性的语法设计。该项目处于早期阶段,旨在为 AI 辅助编程提供一种新的信任基础设施,特别适用于对代码安全性和合规性要求较高的场景。

Star 增长趋势

本站每日记录该项目 GitHub 星标变化,观测越久曲线越完整

数据来源:GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 66

技术标签

核心亮点

  • 语言原生支持代码来源标注,AI 生成代码可追溯
  • 基于 Rust 实现,性能与安全性有保障
  • 针对 AI 编程信任缺口,定位独特且前瞻

不足之处

  • 项目处于早期,文档和生态尚不完善
  • 实际应用案例和社区支持不足

适用场景

  • 企业引入 AI 编程助手时,需要审计 AI 生成代码的合规性
  • 安全敏感领域(如金融、医疗)对代码来源有严格监管要求
  • 开源项目维护者希望验证 AI 贡献代码的可信度

替代项目

Copilot (GitHub)、CodeQL、SonarQube

上一篇:The-Creator-AI

下一篇:ai-coding-deals

同类项目推荐

AI-Studio 开源

右键选中代码,即刻调用 AI 完成测试、重构、摘要。

AI Studio helps you with the power of AI in many subjects such as adding unit tests,···

★ 52 2026-08-09
the-pair 开源

两个AI互查代码,写错当场被抓

Open-source AI pair programming for desktop: a Mentor + Executor agent cross-check e···

★ 386 2026-09-30
MiniCode 开源

轻量级终端AI编码助手,让你快速上手Claude Code式工作流

A lightweight terminal coding assistant with Claude Code-like workflow, tool loop, a···

★ 1161 2026-08-09
flemma.nvim 开源

在 Neovim 里直接调用多模型 AI,边写代码边问,不切窗口

AI knowledge workbench for Neovim.

★ 58 2026-08-09
scubiee 开源

把代码库变成本地可搜索上下文,省 token 又护隐私

Save up to 30% of your AI coding tokens. Scubiee turns any codebase into searchable ···

★ 146 2026-10-27
copilot-chat.vim 开源

在 Vim 里直接和 Copilot 聊天,写代码不切窗口

Copilot Chat for Vim

★ 135 2026-08-09
headroom-desktop 开源

菜单栏一开,Claude Code 与 Codex 的 token 账单直接砍半

Menu bar app for macOS, Windows and Linux that cuts Claude Code and ChatGPT Codex to···

★ 637 2026-09-16
PyGen 开源

说句话,自动生成 Python 包,省去手写结构。

Generate Python Package with Simple Prompts

★ 76 2026-08-09
claude-source-leaked 开源

扒开Claude Code的底裤,看隐藏功能和省钱技巧

Claude Code v2.1.88 source analysis: system prompts, 87 hidden feature flags, cost o···

★ 135 2026-08-09