Using Arduino to flash PIC

Hi, I am using Leonardo systems that has ATmega32U4 with PICASO and ESp8266 WI-FI Module This system is also as 4Duino-24.

In addition, my system configuration also has PIC18F57K42 from microchip. I would like a way to flash PIC18F57K42 from 4Duino. Is there a software tool existing?

Any information/suggestions are appreciated.

Thanks, Asha

This is "terra incognita". Something about PIC programming and Arduino as ISP: I do not know how it is about PIC18F57K42. It is not listed. Also the 4Duino-24, the HW (ATmega's ISP) could work in principle. I'd prefer some standard way for programming.