No, you need to use a library that allows the user to configure the push server, which should be configured device-wide and communicated to the app server.
Exactly. I believe this is how Web Push works; the major browser vendors each run their own push servers, and the protocol is standardized.