pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
OPEN SOURCE · CURATED REPOSITORIES
经过筛选的 Jev SDK、工具、演示、集成、评测与研究项目。仓库指标来自 GitHub,标题、摘要与分类由 Jev Guide 整理。
按 GitHub Stars 排名
按近期 Star 增量与更新活跃度排名
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
为编码代理提供三个防护门:不可逆操作前审批、基于证据的完成检查、以及量规回归检查,由 TypeSafe Jev (System One) 驱动。包含 CLI 脚本、离线测试与 CI 工作流。
一个用于 Pi 编码代理的权限门扩展,使用 TypeSafe Jev (System One) 语义性地批准或阻止 bash、write 和 edit 工具调用,默认失败关闭。
面向 AI 编码代理 shell 命令的基于效果的安全门,默认使用 TypeSafe 的 Jev 作为判断模型;在该项目评测中 Jev 是唯一以零危险命令通过认证的模型。
基于 TypeSafe Jev 模型的 AI 代理工具调用安全网关,支持 LangChain,零配置本地回退。
OpenCode 2 插件,将本地或 FarHand 远程 Shell 命令交给 TypeSafe Jev 判定,并在有风险时先询问用户;支持自定义风险类别并附带基准测试。
将 TypeSafe Jev 集成到 DeepSeek Harness,在毫秒级对工具调用进行风险分类和自动放行;提供 shadow/enforce 模式、遥测统计与 52 个测试。
用于 Pi 编码代理的 Jev (TypeSafe System One) 权限门。在每次 bash/write/edit 调用运行前,使用 Jev 决策模型进行判断。
通过 TypeSafe Jev(System One 决策模型)门控 LLM 工具调用的语义防火墙,含确定性策略、评估与稳定性测试。
DeepSeek Harness 插件:由 TypeSafe Jev 驱动的逐工具调用自动权限审查,设置页面内联账号用量与 API 密钥管理。
转发邮件,获取校准的钓鱼邮件判定。使用TypeSafe Jev / System One进行分类,提供MCP服务器供Copilot Studio使用,以及REST接口供Power Automate使用。
一个用于编码代理的安全钩子,使用 Jev 对工具调用进行风险评分、检测提示注入并检查技能/插件。支持 Claude Code、Codex、Copilot、Gemini、Cursor、pi、OpenCode 和 ACP。