Quantity   Component name
1 × Adafruit ItsyBitsy 32u4 - 5V 16MHz [Lou] https://www.adafruit.com/product/3677
1 × Adafruit AirLift – ESP32 WiFi Co-Processor Breakout Board [Lou] https://www.adafruit.com/product/4201
1 × Micro Servo [Lou] https://www.adafruit.com/product/169 (original used https://www.radioshack.com/products/radioshack-micro-servo)
1 × NeoPixel Mini Button PCB - Pack of 5 [Lou] https://www.adafruit.com/product/1612
1 × Adafruit ItsyBitsy M0 Express [Occupancy detector] https://www.adafruit.com/product/3727
1 × Adafruit AirLift Bitsy Add-On [Occupancy detector] https://www.adafruit.com/product/4363
1 × Magnetic contact switch (door sensor) [Occupancy detector] https://www.adafruit.com/product/375