{
  "title": "ERC20 Transfer Verification",
  "origin_url": "https://docs.certora.com/en/latest/docs/cvl/rules.html",
  "license_guess": null,
  "code_sha256": "5f81fa8827f275a26380739892b9833f0fc868084d3699a1d47ac5fe3a2b3696",
  "added_at": "2026-03-13T10:00:00Z"
}