Watch Tennessee / petrify

可验证的 AI 智能体工作流编排运行时。不替代 Claude Code、Codex、Cursor 等工具，而是在它们之上做调度——你用自己顺手的 Agent，Petrify 负责把它们串联起来，并通过 Petri 网形式化验证确保流程在运行前就是正确的。