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