connecting an angle servo to the Elecfreaks Cutebot https://www.elecfreaks.com/micro-bit-smart-cutebot.html many kinds of servo's - for example - https://www.amazon.com/dp/B09Y55C21K/ref=twister_B09Y56GVL8 https://makecode.microbit.org/
No download links available.