The bigger issue now is that I get constant warnings over unresolved modules. Are there pyi files available for the engine anywhere?

I got the Serial Monitor working!

My little brother really wants me to teach him Python so that he can make games for the Thumby Color. I've been trying to get things set up so that I can get started and figure out some of the basics first, but I was wondering if anyone has had any luck using VSCode instead of Thonny or the web editor. I've tried using the Serial Monitor extension but haven't had any luck connecting. Does anyone know what settings are needed to connect to the serial console? And does anyone know of any extensions that provide easy access to the Thumby Color's filesystem like in Thonny?