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.
That's one of their uses... I had a chat with a couple of people sat down and they were just waiting for their SOs to finish browsing. So I gave them a MagPi and Hackspace magazine to read while waiting.