Alexandre Paiva

Software engineer. I build useful stuff.

#100504190 followers 4 following

☀️ 2 day streak

>10,000All time

21 KP

About

Software engineer. I like taking messy problems from the first conversation to a shipped product

Links

Github

Badges

Tastemaker

Gone streaking

Maker History

PromiseProofAI can fix code. It shouldn't certify itself.
Jul 2026

🎉

Joined Product HuntJuly 22nd, 2026

Forums

•

3h ago

PromiseProof - AI can fix code. It shouldn't certify itself.

PromiseProof shows a safer way to use coding agents. GPT-5.6 investigates a broken product promise, Codex proposes a constrained repair and a human approves the exact patch. Neither model can award PASS, the unchanged deterministic verifier does. Try it in your browser, tamper with the evidence, reproduce a sealed report or run the same gate in CI.