If you export your project the mbed.lib will be replaced with the source. No need to pull in mbed-dev before exporting.
If you want to do some serious offline dev checkout mbed-cli. you can simply mbed import URL where url is the url of your project and it’ll pull it down for you, with full sources.