Using ESP-IDF and try to compile http server example

Comparing the components of the github repository of esp-idf

and the contents of
\.platformio\packages\framework-espidf\components
I can see that there is no http_server library in the esp-idf version of the current pio espressif platform (my espressif 32 platform version is 1.6.0).
You could maybe try to download the library by itself and add it to your project.