Buscando libreria

Hola: En un Sketch que deseo descargar aparece el #include Arduino.h y esa librería no la tengo, me he vuelto loco buscándola y no la encuentro ni en GitHub; me podéis ayudar a encontrarla para descargarla. Gracias

Si tienes una version relativamente moderna no hace falta descargarla ,el ide la incluye automaticamente en la compilacion

Esa librería aparece si usas PlatformIO que es otro IDE. Mucha gente lo esta usando y cómo maneja mas de 500 placas necesita establecer una comunicación con la familia del microcontrolador usando librerías específicas.
Coméntala y sigue adelante.

Gracias -jose- y surbyte por vuestra ayuda.