A

agentic-engineering

LLM agents run a Screeps colony by editing a typed, SMT-checked spec. Paradox generates the Typescript; Z3, strict type checking, and NixOS VM tests gate every change. Nix builds and deploys the whole world, game server included.