TypeSafeAITypeSafeAI/jev-harnessOfficialJEVハーネス：Jevベースの提案レビューツール
TypeSafeAI コミュニティリポジトリ。Jev ベースの提案レビューワークフローを実装しています。LLM が提案し、Jev が4つの狭い質問に答え、コードが判断してレシートを残します。オフラインテスト、ルーティング実験、Next.js デモを含みます。
630MIT
マインスイーパ × Jev
TypeSafe Jev を統合したマインスイーパ。証明可能な手は決定的ソルバーと正確な確率列挙が処理し、推測が強制されたときだけ Jev を呼び出します。プロンプト実験、実測評価、再現スクリプトを含みます。
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
· 1 starsOpen on GitHub
More like this
TypeSafeAITypeSafeAI/jev-harnessOfficial
ekzhangekzhang/openjev-sglangOpenJev SGLang
オープンモデルに基づく Jev 互換 API エンドポイント（プレフィルのみ）。SGLang 上で Qwen3.6-35B-A3B を使用し、TypeSafe Jev/System One の評価エンドポイントを実装。
277352
keltokhykeltokhy/jgrepjgrep
jgrep は、TypeSafe Jev/System One 決定モデルを呼び出し、説明文に基づいて行やコード差分を判定し、生成テキストではなく確率を返すCLI意味論的grepです。
2121MIT