Ambion: open-source TypeScript collaboration kernel for agents and humans, formally verified with Dafny
andreisavu · x · 2026-09-22
Ambion is an open-source (Apache 2.0) collaboration kernel for agents and humans, written in TypeScript and requiring Node 26+.
- The problem it solves: ongoing applications need multiple domain agents to contribute — "Can we promise a Thursday delivery?" requires inventory, scheduling, and compliance agents. Humans ask questions and read results; agents speak only when they have something to add, and can run on any framework
- Engineering highlights: core rules are formally proven in Dafny; CI validates every rule on every change; a chaos suite simulates mid-write crashes and room handoffs to new hosts across 200 seeds
Formal verification plus chaos testing for an agent orchestration kernel is an unusually rigorous spec worth watching.
Related event: Ambion: Open-Source Kernel for Human-Agent Collaboration(3 posts)→
More from coding & agent
- Plane Agents launch: assign work, tag in comments, or run on a schedule — JosephJacks_ · 2026-09-22
- Latent Space pod: TypeSafe CEO argues AI should make reliable decisions in software, not chat — lennysan · 2026-09-22
- Same model bills 5x more in a different harness: 21 combos tested across 60 tasks — CShorten30 · 2026-09-22
- Grok bot drives local uncensored Flux2 via ComfyUI MCP for horror art — PurzBeats · 2026-09-22
- Jev + Treg combo powers 3 GTM workflows, saving $8k/month in automation costs — iamrobotbear · 2026-09-22
- Trace: a terminal tool that feeds AI only the evidence it needs to debug — jse78 · 2026-09-22