**Cohesix 1.2.0 发布：基于 seL4 的边缘 AI 任务追踪与审计系统**

_Cohesix – find out what happened to a local AI job_

> 开源项目 Cohesix 发布 1.2.0 版本，旨在为边缘 AI 基础设施提供可审计的任务管理。该系统基于形式化验证的 seL4 微内核，通过 Queen/Worker 架构将 AI 意图转化为受限且可追溯的操作。新版本支持在 NVIDIA Jetson (CUDA) 和 Apple Silicon (MLX) 上运行，解决了任务提交后连接中断时的状态同步问题，确保结果真实性，并支持 MCP 和 A2A 协议，适用于 Raspberry Pi 4、QEMU 及 macOS 环境。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-09-28 20:05（北京时间）
- **原文**：[打开原文](https://github.com/lukeb-aidev/cohesix/releases/tag/v1.2.0)