GitHub repository: Certora/reflector-subscription-contract
Description: Soroban smart contract for subscriptions management