gog parent
Is there an iOS app that supports push messages?
Yes. Snikket, siskin, and monal all make use of push messages (since that's required to work on iOS at all these days)
It looks like you need server support for that as well (makes sense), to bad Prosody doesn't have it in a released version but you have to build it manually.
No need to build anything, it's not a binary or anything like that. Prosody is just a very plugin-oriented project (plugins are written in Lua). For better or worse, we (the Prosody team) have certain standards for inclusion of community modules in the core codebase, and mod_cloud_notify doesn't quite meet them yet.
On Debian and derived systems, you can just 'apt install prosody-modules', and on other systems you can 'prosodyctl install mod_cloud_notify' or otherwise download it directly: https://modules.prosody.im/mod_cloud_notify (no configuration is necessary apart from adding it to the module list in your config).
Thank you, I was reading https://github.com/monal-im/Monal/wiki/Considerations-for-XM... and misread the requirements, 0.13 is required for SASL2, not for cloud_notify.
I really like Prosody because it was trivial to reuse the same user store I use for Postfix/Dovecot so every email account gets an XMPP account automatically.