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

A Makefile :-)

Makefile has support for dependency management of Arduino libraries? Amazing, where can I find it?

Arduino Libraries dont have CMake support??