Some kind of market/appstore for Arduino?! Great idea... but I don't like the dependence on github. Wouldn't it be cooler to allow any kind of repository or just zip downloads of (stable!) releases? I'm so used to my beloved subversion repository that I don't really want to switch that to git 
And what is this Arduino1.0 API compliance?