{
  "title": "Stack Specification",
  "origin_url": "https://www.kestrel.edu/research/specware/",
  "license_guess": null,
  "code_sha256": "dcef280869d22896704c892a5a900d884bc519f721c8407f23ab9a0851237607",
  "added_at": "2026-03-12T10:00:00Z"
}