It's basically our existing web client, but hooked in to Google's notification service.

What we are hoping to do (quite soon) is switch to pure JMAP for the app's communication to the server - http://jmap.io/

At that point, k9 will be able to get the same great push notification system and efficient updates by implementing a JMAP backend.