There’s a new-ish plugin for VSCode called pico8-ls that is much better for language support than what there used to be. But the #include approach mentioned by

There’s a new-ish plugin for VSCode called pico8-ls that is much better for language support than what there used to be. But the #include approach mentioned by someone else allows you to use the full Lua extensions which are great.