I'd be grateful for pointers to working examples of interacting with the geth/parity light-client protocols. I'm particularly interested in working code which shows how to extract the Merkle proof that a transaction (or transaction receipt) is included in a block hash.
NB: This question is sort of similar to this one, but it has a little more texture, and I'm hoping the documentation has improved since then.