» Tag
geometry
1 postsFormally Verified 3D CSG: Trust a 93-Line Spec, Not 1000 Lines of AI Code
First formally verified 3D mesh intersection kernel in Lean 4: a 93-line spec replaces review of 1000+ lines of AI code and 60,000+ lines of proofs.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com