Need help with Pi Pico + HID

Trying with a real link: How to get the best out of this forum - Using Arduino / IDE 1.x - Arduino Forum

There's no such dependency. Any library can be used in code.

You need to check which controllers the library is written for. The IDE doesn't affect that. No miraculous transformations done.