Creator here.
If you like to develop this further, like going further beyond gate level netlist to mapping technology nodes, to timing closed GDS2, I'd love to hear from you. User should be able to specify the function and provide a PPA Target - synthesized netlist should be output on target technology node.