GitHub repository: Certora/aave-stewards
Description: A collection of contracts intended to optimize the management of the aave protocol by giving limited permissions to a contract or entity.