Puppet ist ein Tool für Konfigurationsmanagement, d.h. für die Bereitstellung von Servern in einer gewünschten Konfiguration. Die Beschreibung der gewünschten Zielkonfiguration erfolgt deklarativ durch sogenannte Manifeste.

Quelle

http://en.wikipedia.org/wiki/Puppet_%28software%29