GitHub repository: rrodenbaugh/truefi-spec
Description: Under-collateralized lending and defi smart contracts