Jeffy Loop is an autonomous engineering system I built designed around one principle: agents should not merely produce work. They should produce evidence that the work is correct.
Are we building coding agents or are we starting to build autonomous software engineers?
The combination of autonomous agents + software engineering + verification + adversarial evaluation + reproducible receipts.