Zoo has said it's open to local hosting of the kernel for years. I believe it's a matter of time because it's mostly about legal tape.

ucad is based on Manifold, so unfortunately, not really comparable, since it's all meshes vs brep, like OpenSCAD.

Note KCL could be completely augmented with another kernel. There are people who've already tried :)