Hi @uua,
I haven’t played with it beyond what you found: What to provide in the proof parameter of the verify function for the MerkleProof library
I assume you can encode/concatenate the data of the address and the amount of tokens and use the Uniswap example @skyge gave you. (Thanks as always @skyge 
)