GitHub repository: Certora/aave-proof-of-reserve
Primary language: Solidity
Description: Integration with Chainlink's proof of reserve