I built

Forall – An AI coding agent that generates machine-checkable proofs

Built by @hn:Nolan_Lwin · github.com/astrio-labs/forall

via Hacker Newsby hn:Nolan_Lwin ↗· community-imported

8 people want it.

Who's asking for this

“Someone is looking for this — identity hidden”

@••••••••••••••• ·

“Miraga AI — The Most Realistic Image to Video AI Generator”

@••••••••••••• · just now

“Someone is looking for this — identity hidden”

@••••••••• · just now

“Someone is looking for this — identity hidden”

@••••••••••••••• ·

“Someone is looking for this — identity hidden”

@••••••••• · just now

Want this too?

IwantIbuild is a demand board for indie builders. Search what you wish existed and find who already shipped it — or post the thing you built and watch the demand for it add up.

Find more tools like this →