Does anyone know of other MCP servers for similar music creative tools? I'm interested in things like sonic-pi, strudel.cc and orcas. But very open to anything. I think there is a good opportunity for kids to learn using these tools, especially if I can wire it into my mycroft.ai/neon device.