Thanks for the comment! I agree, this seems like the inevitable future. I would argue that plan and execution is already separated, but between human and AI. This concept pushes that down a level. As a coding tool it is a good demonstration of the larger concept of probabilistic control of deterministic infrastructure. I too think it will become a category. I found Rigorix-oss on GitHub. Is it mainly to be used by human coders? Can an LLM use it? Mine started out as an LLM skill and developed into a MCP hybrid.