Aura-State

Aura-State 一个用Python构建LLM工作流作为状态机的框架，内置形式化验证。 root@kitploit: pip install git+https://github.com/munshi007/Aura-State.git 这是做什么的 大多数LLM框架让你链式调用API，然后希望一切顺利。Aura-State采用不同的方法：你将工作流定义为一个节点图，每个节点有特定任务，框架处理提取、验证和路由。 关键区别在于节点之间发生了什么： 路由 通过数学（MCTS）评分，而非由LLM决定 数学 在沙盒解释器中运行，从不产生幻觉 提取 可以使用Z3形式化证明其正确性 工作流...