Examples of light-client interactions to extract Merkle proofs?

Question

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.

Answer 1

I guess in the case of geth, I would want to start in the LES handler test, in which case I've reduced the question to how to send such a request to a node following main net.

ETA: This javascript client looks very promising. Currently, that client does not implement the relevant LES requests.