Castellan — verified coding agent. You bring the inspiration; your castellan handles the rest, and proves it. Specs compile to gated loops: git is the memory, tests are the judge. Frontier results at 1/20th frontier cost.