GitHub repository: Arm-Debug/mbs-plugin
Description: Interface describing plugin API for Mbed Studio extension points