The modules are so far only accessible via the REPL run on a device. I wrote a guide here that while targeted to the ATECC608b shows how to access real to find modules. https://www.hackster.io/AJB2K3/accessing-the-atecc608-part-2-edbe5e