HEXIS

它做什么

• compile / update / run / guide CLI：模型起草机器，静态检查（schema、守卫、可达性、终止性、条款覆盖）不过就打回重画
• 轨迹驱动进化：每步一次决策，候选机器必须重放所有既往接受轨迹才被接受——错误决策破坏不了机器
• efsm-v1 机器是纯 JSON：守卫转移、有界循环、fallback 状态；守卫跑在白名单表达式语言里，绝不 eval
• 每次构建都产出 GUIDE.md 与 PROMPT.md，任何会用工具的 agent（如 Claude Code）都能逐状态执行；350+ 封闭测试

什么时候用

想给多步骤流程加上确定性顺序、有界循环与可验证终止性的 skill 作者；以及研究 agent 可靠性的研究者——仓库本身就配套一篇「把 skill 编译成 EFSM」的论文。

如何上手

pip install hexis-agent          # 以 `hexis` 导入；命令为 `hexis-agent`；Python >= 3.11
export API_KEY=...               # 任意 OpenAI 兼容端点
M="--model <model> --base-url https://your-endpoint/v1"

hexis-agent compile --skill path/to/skill --out build/ $M
hexis-agent update --build build/ --traces traces/ $M
hexis-agent run --machine build/ --input request="..." --workdir work/ --executor local $M

注意事项

MIT，alpha 阶段。会执行参数（包括 shell 命令）由语言模型生成的工具调用：请在隔离环境中运行，且只用你信任的机器与任务文件（见 SECURITY.md）。update 会把轨迹步骤与 skill 条款发给所配置的模型端点，build 目录会留存轨迹副本与每一次模型问答。原生工具执行依赖 OpenCode；--executor local 改为子进程跑 bash。编译与更新按「每轨迹步约一次调用」消耗模型调用。