A server that exposes a simple API to push notification servers