.github certora contracts lib script test .editorconfig .env.example .gas-snapshot .gitattributes .gitignore .gitmodules .prettierignore .solhint.json CHANGELOG.md PROPERTIES.md README.md codecov.yml community-token-deployer.png foundry.toml package.json pnpm-lock.yaml prettierrc.yml remappings.txt slither.config.json specs.sh