Indeed, it seems to occupy a middle ground between fast-and-easy AI prompting, and slow-but-robust traditional programming. But it's still relying on AI outputs unconstrained (as far as I can tell) by more formal methods and semantic checks.

But it's also hard for me to grasp the exact value add from the README, or why I should buy their story, so I'm not sure.