AI pair programmer that autocompletes code and chats in your editor.
Code & buildFree
Formally verified 3D CSG
NewTrust 93 lines spec, not 1000 lines AI code
Code & buildby Github
Open-source repository
schildep/verified-3d-mesh-intersection
Trust 93 lines spec, not 1000 lines AI code
What it does
Trust 93 lines spec, not 1000 lines AI code
In their own words: Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code - schildep/verified-3d-mesh-intersection
It's a code & build tool from Github. It's a paid tool, so check the plans before committing. It's open source — the repository has the docs, issues, and latest releases.
Best for
Code & build
Pricing