Show HN: AI-assert – Constraint verification for LLM outputs (278 lines, Python) | Heykuki News