Testing GitHub Agents for cleaning up the Musical Gestures Toolbox. Over the last few days, we have run a toolbox hackathon between the three music-related.