Trust 93 lines of math, not 1000 lines of AI code
Formally verified 3D CSG boolean operations. Upload two STL files, get a mathematically proven result in seconds.
Why Verified 3D CSG Matters Right Now
Every day, CAD engineers and 3D printing studios run thousands of boolean operations — union, intersection, difference — to prepare models for manufacturing. Yet the tools they trust are either painfully slow (CGAL takes 20 minutes to compile) or dangerously unreliable: a recent Hacker News thread with 45 comments exposed how AI-generated code for mesh intersection fails silently, producing non-manifold geometry that ruins prints. The community is desperate for a trustworthy alternative.
Existing solutions force a false choice: use a free, slow, open-source library that requires a PhD to compile, or gamble on a black-box AI that gives no guarantees. Neither works for production pipelines where a single bad boolean can waste hours of print time and material costs. What's missing is a service that is both fast and provably correct — a tool you can cite in your compliance docs.
The timing is perfect. The original 93-line formal specification for verified mesh intersection recently hit GitHub and sparked intense interest (the HN thread alone drove 45+ comments in hours). Engineers are actively searching for a drop-in replacement that doesn't sacrifice trust for speed. By wrapping that spec into a simple API, we can give the 3D community exactly what it needs: a mathematically proven result in seconds, without compiling a single line of code.
How It Works
Upload your meshes
Drag and drop two STL or OBJ files directly in your browser — no account, no installation. We accept files up to 50 MB each, covering the vast majority of CAD and 3D printing use cases.
Choose your operation
Select union, intersection, or difference. Our backend runs the 93-line formally verified spec against your geometry, producing a result that is mathematically guaranteed to be correct — no silent failures, no non-manifold edges.
Download + verification report
Get your result as a clean STL/OBJ file, plus a one-line verification report: “This result is formally verified against the 93-line spec. Trust it, don't guess.” Paste it into your compliance docs or share it with your team.
What You Get
Formally verified
Every boolean operation is backed by a 93-line mathematical spec, not a black-box neural network. You get a guarantee that can be audited, cited, and trusted in production pipelines — no more guessing whether the result is manifold.
No compile, no install
Works entirely in your browser. Drag, drop, choose an operation, and download the result — no CGAL compilation, no Docker containers, no command-line tools. Just a clean web interface that takes seconds, not hours.
Auditable & compliant
The verification report is a single line you can paste into compliance documents, quality audits, or customer deliverables. No more “trust me, it's open source” — now you can say “trust me, it's mathematically proven.”