If not running KMKPython, this does require the adafruit_ble library from Adafruit. This can be downloaded from the Adafruit CircuitPython BLE repository. It is part ...