Jeshio Murmu Emon@emon24

Problem: Many APIs are specified only as documents. Developers transcribe them by hand, and document defects flow straight into code. The official 194-page UniFi Access API PDF defines “visit_reason” as an enum on page 52, yet its own samples on page 56 and 63 send “Interviemw”. Solution: SpecProof has an AI extract each spec section into a contract where every field cites a page and a verbatim quote. Deterministic code, never a model, then verifies every claim: the quote must exist on the cited page, table rows must match their required flags and types, and the document’s own samples must be copied verbatim and validate. Failures get machine-generated feedback and at most three attempts; what still fails is quarantined. Conflicts between two grounded parts of the document are reported as spec defects. The verified contract is then compared with a community OpenAPI conversion and used to test the py-unifi-access client. Result: 108/108 endpoint sections extracted; 1406/1406 citations found verbatim on their pages; 97 – 115 of 116 sections verified by the self-correction loop (1 quarantined); a blind audit of 40 random items was 40/40 correct (95% CI91-100%). A human reviewed all 63 candidate findings: 19 confirmed spec defects, 8 community-spec differences, and 1 client bug. By hand, one section took 8.5 minutes with 2 of the 10 rows wrong; SpecProof re-verifies the whole spec in 4.8 seconds

💻 Online Hackathon | ⏳ Build: 48 hours | 📅 September 25–27, 2026 The official IBM Bob 2.0 hackathon. Build what's next in AI-assisted development, alongside the developers and experts shaping it. ⭐ Get help from experts throughout the event 🤝 Join a team or build solo 💰 Prize pool: $12,000 🧑🏻‍💻 Register before the Kick-Off Stream to start building with Bob

Grab your ideas, spin up compute, and start building what’s next! Start with $100 in AMD Developer Cloud credits and begin building right away. Get access to hands-on tutorials, workshops, and curated learning resources to help you build faster and go further. To unlock credits and join the hackathon, sign up for the AMD AI Developer Program. 🤝 Go solo or team up — ship something real. 💰 $21,500+ total prize pool & 1 × AMD Radeon™ AI PRO R9700 GPU up for grabs. 📍 On-site Venue (May 9-10): MindsDB SF AI Collective 3154 17th St, San Francisco, California, USA 📍On-site participation is by invitation only. Travel and accommodation expenses will not be covered. 🧑‍💻 Developers, builders, and innovators - bring your boldest ideas and let’s turn them into real AI systems on AMD.