Can the user read/export the lockfile in a portable format (e.g. requirements.txt)? I love the idea of magic like this, but I'm less keen if it comes at the price of lock-in. (And feel free point me to the docs!)
Every Replit Python project can be downloaded and you'll have the spec file and the lock file so you can install the same dependencies locally.