不用 LLM 监控 LLM：Olki 用类型系统为 Agent 行为分类

Modiqo 创始人 Chetan Conikee 介绍 Agent 可观测性工具 Olki，以严格类型系统和 effects algebra 确定性分类 Agent 操作，不依赖 LLM。