This is the API documentation for mumukit-platform-7.0.1 Documentation.