Show HN: Forall – An AI coding agent that generates machine-checkable proofs

Show HN: Open-source AI app builder you can embed into your own SaaS

Show HN: Open-source AI app builder you can embed into your own SaaS We just open sourced a first class our AI web app builder.<p>Instead of using another hosted AI coding platform, you can fork this project and build your own AI app builder, fully customized and running under your own brand.<p>It includes:<p>Next.js + TypeScript AI chat with streaming Artifact generation File explorer Code editor Live preview Databases Sandboxes to be used by AI agents Versions Responsive production-ready UI And a lot more...<p>The only required dependency is the Totalum API, which exposes the AI generation engine through a simple REST API. You can replace or extend the backend however you want.<p>It&#x27;s designed for developers, SaaS companies and agencies that want to:<p>Build their own AI app builder Add AI app generation to an existing product Create a white label AI builder Customize every part of the UI and workflow Self host the frontend<p>We use the same frontend in production, and decided to open source it so others don&#x27;t have to start from scratch.<p>Repository: <a href="https:&#x2F;&#x2F;github.com&#x2F;totalumlabs&#x2F;ai-app-builder-open" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;totalumlabs&#x2F;ai-app-builder-open</a><p>I&#x27;d love feedback, feature requests, or ideas from the HN community.