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: https://sites.google.com/site/thehighspark/arduino-pic18f https://forum.arduino.cc/index.php?topic=92929.0 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.