pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
Pi 코딩 에이전트를 위한 초경량 감독자입니다. 로컬 정규식으로 파괴적인 명령과 자격 증명 유출을 차단하고, 검증 상태를 추적하며, TypeSafe Jev의 has_slop 의미론적 게이트를 사용하여 저품질 코드를 차단합니다.
该仓库 README 明确说明其第三层 Jev Semantic Gate 调用 TypeSafe Jev 的 has_slop 评估代码差异,并支持 TypeSafe/OpenRouter API Key 登录与用量统计,属于对 TypeSafe Jev 的真实集成与使用。