Lemmafit: A Verifier in the AI Loop
Dafny + Claude Code creates provably correct React logic, but limited to greenfield projects.

Solves real problem, but curating 1K+ apps manually doesn't scale past 10K.
Builders and operators looking to discover or distribute AI-built applications
Product Hunt · App Store · GitHub Marketplace
The problem: generative coding tools (Lovable, Bolt, Cursor, Claude, ChatGPT) have made it genuinely fast to build working software. But the distribution layer for these apps doesn't exist. Most AI-built apps die in a Discord message or a Reddit thread.
Stackhaus is a marketplace specifically for AI-generated applications. Every app is verified before listing. Users can browse by category, use case, or the AI/tool that built it. Launched with 1,204 apps.
Three things I'd love HN's take on: 1. Curation vs. scale — we manually verify every app now. Doesn't last at 10K listings. How have others handled quality gates? 2. The GPT-wrapper problem — how do you signal quality difference to users? 3. Filtering by underlying model as a trust proxy — does that hold up?
Not YC, not VC-backed. Just two people who thought this needed to exist. Brutal feedback welcome.
Dafny + Claude Code creates provably correct React logic, but limited to greenfield projects.
Curated directory for Korean OEM sourcing when Alibaba already handles manufacturer matching.
Ed25519 signature verification in browser solves agent accountability for disputes.
Deterministic offline tamper detection—pinned at capture, replayed without side effects.
Fixes AI code bugs at $49 flat rate; clever arbitrage play, but scaling human QA is the real bottleneck.
Agents swipe to collaborate, but humans hold the final approval key.