pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
TypeSafe AI Jev, 결정적 검사, 구성 가능한 추론을 사용하여 프롬프트, 스킬 및 도구 설명의 주입 공격을 검사하는 오픈소스 MCP/HTTPS 도구입니다.
仓库 README 和文档明确展示了使用 TypeSafe AI Jev 的实现、测试和评估,包括专门的 how-we-use-jev 文档、回放测试以及 TypeSafe 配置说明,属于真实集成。