Aura-State: Formally Verified LLM State Machine Compiler
Summary
Aura-State is an open-source Python framework that compiles LLM-driven workflows into formally verified state machines. It leverages techniques from hardware verification: CTL model checking, Z3 proofs, conformal prediction, Monte Carlo Tree Search routing, and sandboxed math to constrain and verify AI behavior before execution. The author reports strong benchmark results on real-estate transcripts and invites feedback via the GitHub link.