The IDP in your pocket