AI Bazaar · Tuesday, 15 September 2026The index for builders who ship

The index for builders who ship. Independent. Founder-built in Kuala Lumpur.

One email. Friday. Signal over noise.

Email address

Formal – Formal verification for AI-generated code using Lean 4 | AI Bazaar

§ Framework

Formal – Formal verification for AI-generated code using Lean 4

Formal – Formal verification for AI-generated code using Lean 4 (via Hacker News, 4 points)

Related Framework.

Framework62,958

Truly independent web browser

Framework47,209

🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!

Framework71,373

ALL IN ONE Hacking Tool For Hackers

Framework26,240

🕵️‍♂️ Collect a dossier on a person by username from 3000+ sites