pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
Pi 코딩 에이전트용 권한 게이트 확장 프로그램으로, TypeSafe Jev(System One)를 사용하여 bash, write, edit 도구 호출을 의미적으로 승인하거나 차단하며, 기본적으로 안전하게 실패합니다.
仓库是一个 Pi 编码代理的权限门扩展,明确基于 TypeSafe Jev (System One) 实现语义决策,包含真实代码、171 项测试和校准文档,直接集成 Jev API。