{
  "title": "Verified Stack Implementation",
  "origin_url": "https://github.com/verifast/verifast/tree/master/examples",
  "license_guess": "MIT",
  "code_sha256": "a67e6d88b4be407cd0243ff6d51486f3dcf382ec6377cad56a2234cc13258e9e",
  "added_at": "2026-02-10T19:13:01.197643Z"
}