Smelt

Spec-driven autonomous code generation

Give it a spec. It generates tests, freezes them, then loops — generating code, scoring compliance × correctness, reprompting with exact failures — until the code provably satisfies both.