A browser-use-based agent that uses TypeSafe Jev to check LLM completions against page evidence and gate destructive actions; in dual mode Jev acts as System 1 for mechanical steps, with pre-registered experiments and evaluation results.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedRuntime constraints for the pi coding agent: checks every side-effecting tool call against user-stated rules, powered by TypeSafe Jev. Includes a detailed benchmark and experiment log evaluating Jev's System One decisions.
cwjechw98-langcwjechw98-lang/jev-gatesThree guardrail gates for coding agents: pre-action approval, evidence-based completion, and rubric regression checks, powered by TypeSafe Jev (System One). Includes CLI scripts, offline tests, and CI workflows.
jomatsujomatsu/pi-jev-auto-modeA permission gate extension for the Pi coding agent that uses TypeSafe Jev (System One) to semantically approve or block bash, write, and edit tool calls, failing closed by default.
