Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions | Heykuki News