I found there is already a web-based MCU IDE built on mbed.org. At least, this proves that the concept works for some applications.
Please enter a valid email to subscribe
We need to confirm your email address.
To complete the subscription, please click the link in the
email we just sent you.
Thank you for subscribing!
via Egeo 16