Karel by Robtec — servidor de licencias.
https://karel.robtec.online