A collaborative IDE for developing Clafer models.