Micropython RP2040 pico libraries Grove shield

I have the Grove Shield for Pi Pico working for several actuators/sensors, but am having a difficult time getting the Proximity sensor and LCD RGB display to work. Where are the Pico libraries for these?