The mining skill for the Derius skill framework