command = input(':') leads to NameError: name 'input' is not defined

I guess user input trough command line isn't that important for a microcontroller, however, with input() working, you could easily write a terminal and with the os module you'd be able to replicate things like cd, ls etc., and running something like an OS on the pyboard.