Installing the library is as easy as checking ... The SPI routines in the ESP32 Arduino port both work just fine. I tested it out by connecting a 25LC256 SPI EEPROM to the chip.
An ESP32 monitors the panel voltage and controls ... and not addressing seemingly mundane issues like cable routing and connector installation can lead to disaster.