lukeb-aidev/cohesix

Cohesix is an open-source research OS for trustworthy AI infrastructure. Built on the formally verified seL4 microkernel, its Queen/Worker hives turn AI intent into capability-scoped, bounded, auditable action across edge GPU fleets - “infrastructure for AGI.”

2 best points · 2 comments · 2 Hacker News posts · 14 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS (2 points, 2 comments, by Cohesix, 2026-02-04)
• Cohesix – find out what happened to a local AI job (2 points, 0 comments, by Cohesix, 2026-09-28)