pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
一个 Pi 编码代理扩展,使用 TypeSafe Jev 对工具调用进行门控并判断输出。包含影子/强制模式工具调用门、输出泄露/失败检测,以及用于类型化答案的 jev_ask 工具。附有校准结果。
该仓库是 Pi 编码代理的扩展,深度集成 TypeSafe Jev:实现了工具调用门控、输出泄露/失败检测、jev_ask 工具,并提供了详细的配置、命令和校准实验数据,是真实的使用与测试。