> Free but not Open Source? Did I miss that?

The miniscript language itself is MIT License:

https://github.com/JoeStrout/miniscript

The Minimicro code doesn't seem to have any license in the repository or code:

https://github.com/JoeStrout/minimicro-sysdisk