可验证的 AI 智能体工作流编排运行时。不替代 Claude Code、Codex、Cursor 等工具，而是在它们之上做调度——你用自己顺手的 Agent，Petrify 负责把它们串联起来，并通过 Petri 网形式化验证确保流程在运行前就是正确的。
可验证的 AI 智能体工作流编排运行时。不替代 Claude Code、Codex、Cursor 等工具，而是在它们之上做调度——你用自己顺手的 Agent，Petrify 负责把它们串联起来，并通过 Petri 网形式化验证确保流程在运行前就是正确的。
最近一年贡献：991 次
最长连续贡献：8 日
最近连续贡献：4 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request，其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。