Jeffy Loop What if coding agents had to prove they were done?

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.

Audit. Attack. Verify. Prove.