Using touchosc2midi with pisound and Sonic Pi

I am trying to use touchosc2midi on pisound to interface TouchOSC running on an iPad to Sonic PI 3 running on the Raspberry Pi hosting pisound.
I can see osc messages sent from TouchOSC to Sonic Pi, but I can’t see any midi messages. TouchOSC on the iPad sees pisound as a host for touchosc bridge and sets that up with the correct IP address (174.24.1.1). Touchosc-bridge appears as a midi port on the IO list in Sonic PI3 preferences, but I can’t see any midi messages arriving in the Cues log on Sonic PI 3.
Anybody managed to get this working?

Hey, try usingi amidi --dump with the touchosc bridge port or some other MIDI monitoring software to see whether there is any raw data coming.