Spent the last 9 days building ProofPatcher for the Meta AI Hackathon.
It's built with PHP, Laravel, Meta Muse, and my own Hari core.
The idea is simple: AI-generated code shouldn't get a free pass just because the diff looks convincing. ProofPatcher reviews PRs and uses isolated checks and negative controls to test supported fixes.
There's also a $20k prize for going viral on X, so I figured I'd give it a shot, haha.
Would genuinely love some feedback. And if you find it interesting, sharing the X post would mean a lot.
X post: https://x.com/prateekbhujel/status/2118116044082737651?a=VvTVlDbFFnL_RaQmAsI&s=19
Source code: https://github.com/prateekbhujel/ProofPatcher
X (formerly Twitter)Pratik Bhujel (@prateekbhujel) on XAI ships convincing slop in seconds. Who checks it? Built ProofPatcher with PHP, Laravel & Meta Muse: PR reviews, inline comments, fix checks, and evidence to catch bad shortcuts. @alexandr_wang @AIatMeta Demo: https://t.co/lj8Q9TPAZG Code: https://t.co/YJbS1yG2f6
commit 77c4310