pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
通过 TypeSafe Jev(System One 决策模型)门控 LLM 工具调用的语义防火墙,含确定性策略、评估与稳定性测试。
仓库明确使用 TypeSafe Jev(System One 决策模型)通过 OpenRouter 构建语义防火墙,包含代码实现、评估和稳定性测试,与 TypeSafe Jev 直接相关。