推荐理由：做 AI 安全研究的团队可以直接用 Petri 降低对齐实验的重复劳动，建议关注其源码和文档。