3 items across the graph — tagged with Formal Verification.
Vera: a programming language designed for LLMs to write
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…
