Hi,
I implemented agps for a GSM module I am porting micropython to.
agps library: https://github.com/pulkin/mpy-agps
the port: https://github.com/pulkin/micropython/t ... ts/gprs_a9
It can be realistically extended towards AT-driven modules connected to micropython-capable devices, however, I am not currently interested in implementing it. Instead, I will gladly accept PRs.
Have fun!