staking/package.json

{
  "name": "@logos-co/staking",
  "description": "SNT staking contracts",
  "version": "1.0.0",
  "author": {},
  "devDependencies": {
    "prettier": "^3.0.0",
    "solhint-community": "^3.6.0"
  },
  "keywords": [
    "blockchain",
    "ethereum",
    "forge",
    "foundry",
    "smart-contracts",
    "solidity",
    "template"
  ],
  "private": true,
  "scripts": {
    "clean": "rm -rf cache out",
    "lint": "pnpm lint:sol && pnpm prettier:check",
    "verify": "pnpm verify:stake_vault && pnpm verify:stake_manager && pnpm verify:stake_manager_start_migration",
    "lint:sol": "forge fmt --check && pnpm solhint {script,src,test,certora}/**/*.sol",
    "prettier:check": "prettier --check **/*.{json,md,yml} --ignore-path=.prettierignore",
    "prettier:write": "prettier --write **/*.{json,md,yml} --ignore-path=.prettierignore",
    "gas-report": "forge test --gas-report 2>&1 | (tee /dev/tty | awk '/Test result:/ {found=1; buffer=\"\"; next} found && !/Ran/ {buffer=buffer $0 ORS} /Ran/ {found=0} END {printf \"%s\", buffer}' > .gas-report)",
    "verify:stake_vault": "certoraRun certora/confs/StakeVault.conf",
    "verify:stake_manager": "certoraRun certora/confs/StakeManager.conf",
    "verify:stake_manager_start_migration": "certoraRun certora/confs/StakeManagerStartMigration.conf"
  }
}