MAGPIE agent platform for Android