nRF-DK BLE interface with RPi LEDService

I'd like to have a setup with complete read-write BLE interface to the nRF-DK board from RPi. RPi should use python bluepy module. I have an RPi 400 on which the setup would be tested upon completion. Testing should show LED patterns for write to nRF-DK and Switches/ADC for read from nRF-DK to RPi.

nRF SDK v10 and s130 softcore with armgcc compilation is preferred.

Please quote only if you are willing to receive payment on satisfactory test outcome. No phased payments.