NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed：基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束：在执行前将每个产生副作用的工具调用与用户声明的规则核对，由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
Prompt Rejector：基于 TypeSafe Jev 的提示安全筛查
开源 MCP/HTTPS 工具，使用 TypeSafe AI Jev、确定性检查和可配置推理来筛查提示、技能和工具描述中的注入攻击。
仓库 README 和文档明确展示了使用 TypeSafe AI Jev 的实现、测试和评估，包括专门的 how-we-use-jev 文档、回放测试以及 TypeSafe 配置说明，属于真实集成。
· 2 Stars在 GitHub 打开
更多类似项目
NyarlathotepppppNyarlathoteppppp/pi-heed
cwjechw98-langcwjechw98-lang/jev-gatesJev Gates
为编码代理提供三个防护门：不可逆操作前审批、基于证据的完成检查、以及量规回归检查，由 TypeSafe Jev (System One) 驱动。包含 CLI 脚本、离线测试与 CI 工作流。
000MIT
InverxInverx/JevREJevRE：基于Jev的安卓逆向决策层
JevRE 是一个 Python CLI，集成 TypeSafe AI 的 Jev System One 模型，用于在安卓逆向工程中建议下一步调查动作。它包含真实 Jev API 客户端和离线 Mock 模式。
000MIT