pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
Pi 코딩 에이전트용 Jev(TypeSafe System One) 권한 게이트입니다. 실행 전에 각 bash/write/edit 호출을 Jev 의사 결정 모델로 판단합니다.
该仓库实现了一个用于 Pi 编码代理的权限门,核心依赖 TypeSafe AI 的 Jev/System One 模型对每条 bash/write/edit 命令进行威胁判断,包含登录、API 调用、配置和测试,是真实集成。