A specification language that tells you you're wrong
I do all my coding with agents now, and I'm not going back. But it took me a while to work out what I missed about it.
When you write code yourself, you get scolded a lot (by the compiler, by the test suite, or by someone reviewing your PR). It always felt annoying, but one good thing was that it told you quickly when you hadn't thought something through enough.
Spec driven tooling doesn't generally do that. AI agents usually fill in gaps with a guess, and bugs take up residence in the implementation.
So a few months ago I started building Allium. It's a small spec language for writing down what the software is meant to do, and it runs checks with an optional CLI and pushes back while it's easy to change your mind. It's wrapped by AI skills so you still don't write any code (even the spec code).
A colleague added looping recently, so it can keep running the check-and-fix loop on its own until the code and the spec line up.
If this sounds like it might be useful to you, I'd love you to give it a go. Constructive feedback enormously appreciated!
Link: https://allium-lang.org