NOVA AgentOS 是一个本地优先、证据优先、由用户控制的桌面 Agent 操作系统,它将目标转化为可执行任务,在明确的工作区、权限和预算边界内调用模型与工具,并通过真实文件、测试结果和可追溯证据来判断任务是否完成。

Stars

8

7 天增长

暂无数据

Fork 数

0

开放 Issue

0

开源协议

暂无数据

最近更新

2026-07-31

AI 仓库情报摘要
FR-AI / ANALYSIS

为什么值得关注

它解决了传统 AI 助手无法确认文件是否真正修改、构建与测试是否运行、多 Agent 是否越权或重复消耗预算等关键问题,通过一条完整的执行链和证据账本(Proof-of-Done)实现可审计、可恢复的自动化。

适合谁使用

  • 需要构建 AI 工作流的开发者
  • 追求可复现、可验证 agent 结果的研究人员
  • 管理自动化任务管道的 DevOps 工程师
  • 需要透明任务预算和权限的项目管理者

典型使用场景

  • 自动化代码审查与测试执行,并附带独立验证结果
  • 编排多 Agent 并行研究和 Worktree Tournament 竞赛
  • 对云端或本地 Agent 任务执行预算和权限策略
  • 持久运行长周期任务,支持安全恢复和审计追溯

项目优势

  • 证据优先范式:Proof-of-Done、证据账本和状态真值系统
  • 细粒度安全边界:工作区限制、按轮次授权、预算上限、Agent 隔离
  • 支持多种模型提供商(OpenAI、DeepSeek、Kimi、Ollama)及 MCP stdio/HTTP 扩展
  • 跨平台可用:Windows(Electron 和 WPF)、macOS Preview,基于 .NET 8 桥接

使用前须知

  • 仍为预览版(v0.9.0-preview.29),未达到 1.0 GA,安装包未签名,自动更新默认关闭
  • macOS Preview 未签名、未公证,且功能与 Windows 不对等
  • 未声明开源许可证,代码默认保留全部权利

README 快速开始

快速开始

相关仓库与替代方案

根据分类、Topic 和编程语言匹配的相似项目。

MoonshotAI
精选
MoonshotAI GitHub avatar

Kimi-K3

Kimi K3 is an open-weight, 2.8T-parameter native multimodal agentic model with a 1M-token context window, designed for frontier coding, knowledge work, and reasoning tasks.

AI 与机器学习AI 智能体
3,348
lopopolo
精选
lopopolo GitHub avatar

harness-engineering

Harness Engineering is a methodology for improving coding agent outputs by carefully crafting the environment around them—providing curated context, tools, and executable constraints that encode an organization’s nonfunctional requirements and cumulative lessons.

AI 与机器学习AI 智能体
2,390
mshumer
精选
mshumer GitHub avatar

Claude-of-Duty

A browser-based first-person shooter built entirely with procedural generation and orchestrated AI agents, featuring 55k lines of Three.js/WebGL2 code and no art assets.

AI 与机器学习AI 智能体
1,234