Best 3d modeling tools

img2threejs: Convert Images to Procedural 3D Models with

Transform a single photo into a procedural 3D model with Three.js

schildep/verified: Verified 3D Mesh Intersection: Formally

First formally verified 3D mesh intersection with Lean 4 proofs.