The AI proved his formally specified code correct and found a few real bugs on the way

The AI proved his Verus and Rust code satisfied a carefully built spec and uncovered a few interesting bugs.

How it works

The AI works the proof of his Verus and Rust code against a carefully built spec
The code is shown to satisfy it
A few interesting bugs surface along the way

Why it’s worth knowing

The proof was the test, and it still found ordinary bugs hiding underneath.

Where it’s from

Summarized from a public post on news.ycombinator.com. See the original ↗

Upgraded prompt

A ready-to-use prompt for this idea, built from research on what makes AI agents do the job right: who the AI should be, the exact steps, and a check to make sure it was done the way you wanted.

1Who the AI should be

2The prompt, with the steps

3The check when it’s done

Upgraded prompts are coming soon.

Try next

WorkFind me 48 school-district customers and draft each pitch — one replied, booked and paid WorkA contractor talks measurements into his phone and QuickBooks sends the estimate in 45 seconds WorkRead every job advert, tailor my CV and apply with my approval WorkAn agent now makes the promo posts for our 70 radio shows a month

Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.