GitHub repository: runtimeverification/_audits_SorellaLabs_Angstrom
Description: Fork repo for engagement workspace