GitHub repository: Certora/safe-smart-account
Primary language: TypeScript
Description: Safe allows secure management of blockchain assets.