Yeah, the above is basically the minimal implementation of Cashu that I can think of. You see a token (in your DMs for example), you press redeem and it ends up in your Lightning wallet.