Tool to send push notifications from web or desktop applications (server monitoring, trading bots etc.) to iOS or Android devices.