Cool Link
Aura-State: Formally Verified LLM State Machine Compiler | Hacker News news.ycombinator.com

news.ycombinator.com/item