pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
OpenCode 2 插件,将本地或 FarHand 远程 Shell 命令交给 TypeSafe Jev 判定,并在有风险时先询问用户;支持自定义风险类别并附带基准测试。
该仓库实现 OpenCode 2 插件,调用 TypeSafe AI 的 Jev 模型对本地与 FarHand 远程 Shell 命令进行风险评估和用户确认,包含配置、基准测试和测试,与 TypeSafe Jev 直接相关。