GitHub repository: Certora/safe-modules
Primary language: TypeScript
Description: A collection of modules that can be used with the Safe contract