The rp2040 c SDK in vscode is actually my favorite way to work, using a simple Power shell script to build, reset and Flash the RP2040/2350. There’s a ton of stuff out there for it that will run great on the Xiao modules.
But there’s also an extension that helps