Show HN: Aura-State – A Formally Verified LLM State Machine Compiler3 pointsrohanmunshi084 months agohttps://github.com/munshi007/Aura-State