@User, @User there are various full-adder / half adder cells in skywater-pdk standard cells, at least, i see them in the high-density lib

sky130_fd_sc_hd

Whether synthesis uses them or not (for example yosys) i don't know, need to test :-)