AI 代理零信任执行审计框架

当前 AI Agent 的审计大多依赖事后日志（如 LangSmith、Langfuse 的 tracing），但生产事故往往发生在日志写入之前。Certifier 把验证点前移到执行前，类似把传统软件的 SBOM 签名机制搬到了 Agent 行为层。

与 OpenAI 的 Operator 或 Anthropic 的 Computer Use 相比，这类工具更偏底层基础设施，竞品包括 Sigstore 的 cosign 和 In-toto，但 Certifier 专门针对 Agent 的"意图-范围-可逆性"三元组做了语义化设计。如果你在用 Terraform/Pulumi + LLM 做 IaC 自动化，这是比单纯 prompt 约束更硬的保障层。