{
  "title": "Simple Authentication Protocol",
  "origin_url": "https://tamarin-prover.github.io/manual/book/003_example.html",
  "license_guess": null,
  "code_sha256": "b0382c34ec70df81fac3559706c1b49df8d756cdf50cf004e25520a73810de11",
  "added_at": "2026-02-07T14:56:46Z"
}