Petri 是一个用于快速、真实假设测试的对齐审计代理。它能自主构建环境，使用类人消息和模拟工具对目标模型进行多轮审计，并对对话记录进行评分，以发现潜在问题行为。