It looks as though the Lenovo Smart Clock open source software is here. Looking quickly it appears to be the kernel only.
The device's SoC appears to from MediaTek, codename mt8167s
possibly the same device powering the Lenovo Smart Display. (The kernel config file is called mt8167s_ref_debug_defconfig
). I don't see any device repositories on github for this, but interestingly, there is a file for Google's Fuchsia OS Zircon microkernel for this board.
Somoene appears to have put the source on github here. He (I assume "he"- the name is "deadman96385") has a TWRP recovery repo here for the smart clock (which may actually be named iot_mt8167s_som
??) which might be a good starting point for doing a full android port.
Also, looks like he dumped the rom here.