GitHub repository: Certora/aave-starknet-bridge
Primary language: Python
Description: Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange