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