1 items across the graph — tagged with Screeps.
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…
