i met the same problem.At first i thought it was because i hadn't run setup.py but had directly downloaded the github file.Although i ran it for a long time,i still couldn't find it.

Hey @violet-day! The modules are under the os user folder in .lean\modules We can adjust the lean cli to test the zips/nupkg to be used and reinstall if corrupt. -> use ZipFile.testzip() on install ...

The PowerShellGet module is the command(s) for discovering, installing, updating and publishing PowerShell artifacts like Modules, DSC Resources, Role Capabilities, and Scripts. As of April 2020, the ...