[gholling]

The Official Raspberry Pi Pico Windows install will give you a working VSCode build system with the official SDK. It's not Arduino libraries, but is easy to get going and building code.

https://github.com/raspberrypi/pico-setup-windows/releases