A plugin that provides different tools for developers