Meant to respond last week, sorry- yep, lib/thumby.py will get you most of what you need until we have things documented. Thumby works fine in the Arduino IDE equivalent to the Raspberry Pi Pico, so it should be pretty easy to adapt the Arduboy library functionality, aside from the tough part of adapting games to the lower resolution.
Thanks,
Ben