GitHub repository: Certora/ethereum-vault-connector
Primary language: Solidity
Description: The EVC is a mediator between Vaults that may have borrowing functionality.