pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
TypeSafe Jev を利用した nginx/OpenResty 向けの3層プロンプトインジェクション・不正利用フィルター。キャッシュ、ホットリロード、多数のゲートウェイアダプター、ベンチマークを備えます。
仓库以 TypeSafe Jev 作为核心判断引擎,提供 nginx/OpenResty 网关集成的三层提示注入过滤,并包含可运行 demo、真实 API 评测、基准测试和多网关适配器,属于真实使用与深入研究。