STL file should work fine, openscad is mostly for the reference unless you would like to change the length of the socket or tweak how it fits in a screwdriver.

Please use V2 of the design – I adjusted the tolerances and the shape a bit so it uses less filament.

This design requires hardware-recess.scad library of metric fastener shapes.