S

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 change. Nix builds and deploys the whole world, game server included.

Wishers Screeps code

Evolving game AI script framework for MMORTS screeps.com. Can be used to play screeps from a remote machine, or build CI/CD pipelines with comfort.