Using libraries with VS code Arduino extension

I have all the libraries installed, and they're in the workspace folder, and I don’t know if it could be a permissions error or not.