AEF – Agents State Machine
Two-commit spec repo with no working implementation or demo.
Git versions files. moo versions the machine.
Git versions files, moo versions machines—CoW disk forking in under 500ms.
Developers running parallel coding agents or multi-branch workflows
Docker · Nix · Dev Containers
Moo is a brand new internal tool we use to moove faster and thought we'd share it.
Every branch or agent attempt gets its own isolated Linux machine, and the machine's state is versioned with your repo. Moo save snapshots the runtime tagged with the current commit. Check out an old SHA, run moo new, and you boot the exact runtime that existed there.
It's microVMs with copy-on-write (CoW) disks under the hood. Forking a 20 GB environment is <500ms.
Right now it's only macOS Apple Silicon only due to depending on libkrun and APFS clonefile.
Two-commit spec repo with no working implementation or demo.
Config sync via Git for Claude Code, but dotfiles already solve this generically.
Protocol-level tool enforcement prevents jailbreaks better than system prompts.
TypeScript FSMs enforce agent steps where prompts fail, but locks you into Codex CLI.
Formal verification for LLM workflows—CTL model checking, Z3 proofs, zero hallucination math.
Forces 13B models to solve SWE-bench tasks by making the problem smaller, not the model bigger.