aver 是编程开发领域的开源项目，由 jasisz 开发，是 2026 年新上线的项目。
它收录于编程开发分类，该分类目前共有 490 个项目，GitHub 星标数为 60。
项目目前处于活跃维护状态，最近一次代码更新于 2026-09-22。MIT许可证，完全免费，无付费版本。
它主要面向的使用场景是：企业引入AI编程助手时，需要审计AI生成代码的合规性。同类可对比的替代方案包括 Copilot (GitHub)、CodeQL、SonarQube。
aver
让 AI 写的代码，每一行都能被审计和信任
Aver 是一门专为可审计的 AI 编写代码而设计的编程语言，基于 Rust 实现。它解决的核心问题是：当 AI 生成代码时，如何确保代码的可信度、来源可追溯性和行为可验证性。Aver 通过语言层面的机制，为每一段代码附加生成来源、意图和约束信息，使 AI 产出的代码能够被人类审计者清晰理解、验证和信任。其核心能力包括：内置的审计元数据支持、与 AI 工具链的集成接口、以及强调可读性和可解释性的语法设计。该项目处于早期阶段，旨在为 AI 辅助编程提供一种新的信任基础设施，特别适用于对代码安全性和合规性要求较高的场景。
开源
free
编程开发
GitHub 星标
★ 60
维护状态
活跃
是否开源
是
定价模式
free
项目数据
分类编程开发
开发团队jasisz
所属国家
定价模式free
价格说明开源项目，MIT许可证，完全免费，无付费版本。
访问状态
是否开源是
开源协议MIT
主要语言Rust
技术栈/模型ai-code,dafny,effect-system,formal-verification,lean4,programming-language,rust,spec-tests,transpiler
GitHub 星标★ 60
30天Star增速
HF 下载量
上线时间2026-02-24 00:00:00
最近更新2026-09-22 00:00:00
维护状态活跃
中文支持
访问方式
移动端支持
综合评分
收录时间2026-08-09
浏览次数4
使用教程
核心亮点
- 语言原生支持代码来源标注，AI 生成代码可追溯
- 基于 Rust 实现，性能与安全性有保障
- 针对 AI 编程信任缺口，定位独特且前瞻
不足之处
- 项目处于早期，文档和生态尚不完善
- 实际应用案例和社区支持不足
适用场景
- 企业引入 AI 编程助手时，需要审计 AI 生成代码的合规性
- 安全敏感领域（如金融、医疗）对代码来源有严格监管要求
- 开源项目维护者希望验证 AI 贡献代码的可信度
替代项目
Copilot (GitHub)、CodeQL、SonarQube
项目介绍
上一篇：The-Creator-AI
下一篇：ai-coding-deals
同类项目推荐
bolt.new
开源
想到啥说啥，网页应用当场生成直接能用
Prompt, run, edit, and deploy full-stack web applications. -- bolt.new -- Help Cente···
fuzz4all
开源
用大模型自动生成测试输入，发现各种软件漏洞
️Fuzz4All: Universal Fuzzing with Large Language Models
superpowers-zh
开源
全套 AI 编程神技汉化好了，照着用就行。
AI 编程超能力 · 中文增强版 — superpowers（250k+ ⭐）完整汉化 + 4 个中国原创 skills···
Gitea 代码托管
开源
轻量 Git 代码托管平台
Git with a cup of tea! Painless self-hosted all-in-one software development service,···