I'm looking at a CSG to STEP convertor[1] and ask: why not make @OpenSCAD export STEP? No need for any extra libraries, hopefully. Also, one fewer step for impedance matching. All you need is to generate hulls and minks automatically, using primitives available in STEP. Surely someone has done that before, right? Github is vast, it must be in there somewhere.
