A running list of things I’ve built. Each has its own page with more context.
Formal backpressure for AI coding loops through Shen specs, generated guard types, and multi-gate verification.