No encuentro la libreria oficial de esp8266

hola no creo que este bien en este topico poner este post pero no encontre uno adecuado , mi problema es que cuando busco la libreria esp8266 en el ide arduino 1.8. y cuando la busco no aparece y cuando la descargo como zip y la incluyo me salta que no es un formato valido

Moderador:
Hola @joaquinmassa1 muevo tu hilo a la sección Microcontroladores donde todo lo que no es arduino debe postearse.

Para instalar el soporte ESP8266 debes seguir unos pasos que te dejo a continuación

Estos son los pasos:

Installing with Boards Manager

Starting with 1.6.4, Arduino allows installation of third-party platform packages using Boards Manager. We have packages available for Windows, Mac OS, and Linux (32 and 64 bit).

  • Install the current upstream Arduino IDE at the 1.8.9 level or later. The current version is on the Arduino website.
  • Start Arduino and open the Preferences window.
  • Enter https://arduino.esp8266.com/stable/package_esp8266com_index.json into the File>Preferences>Additional Boards Manager URLs field of the Arduino IDE. You can add multiple URLs, separating them with commas.
  • Open Boards Manager from Tools > Board menu and install esp8266 platform (and don't forget to select your ESP8266 board from Tools > Board menu after installation).

o sigue esta guia de Prometec que esta en español.