A web API to send push notifications to an iOS device and an app to manage them.