ide arduino para node mcu

Hola amigos estoy empezando a trabajar con el node mcu v3 lolin y para programarlo usando el ide de arduino me dice que es necesario descargar la placa a traves del gestor de tarjetas.lamentablemente no puedo hacerlo porque estoy en cuba y para usar internet uso proxys de mi universidad que solo me permiten usar el internet a traves del navegador. ¿podrian darme un link donde descargar un ide de arduino que traiga instalado los board del node mcu y esp 8266? Gracias

Ninguno lo trae, solo debes agregar en Preferencias un JSON y luego ir al gestor de placas y actualizarlo.

Puedes probar con Platformio o con Sublime Text + PlatformIO + DEVIOT que se actualizan solos

Dices que no puedes agregar esto a Preferncias?

http://arduino.esp8266.com/stable/package_esp8266com_index.json

y luego actualizar por el Gestor de placas?

Una consulta y como haces con las librerias ?

Te funciona el gestor de librerias para por ejemplo instalar una nueva libreria en el IDE ?