用 TypeSafe Jev（System One）驱动扫雷自动通关：HTML 扫雷页每走一步实时问模型，并把它的选项、概率、代码已证明的事实全部可视化。Play Minesweeper with TypeSafe Jev (System One): an HTML game that asks the model every move and visualises its options, probabilities and the facts the code proved.
The link points at the commit we read, so the line number still holds.
This one cannot run here
Its question set is assembled at runtime, or never written out literally in the code, so there is nothing to lift. The source link above will show you.
Other projects in this category
typesafe-mario ▶ — A TypeSafe/Jev agent that plays Super Mario Bros. from structured emulator state.
jev-drone ▶ — Camera-only autonomous drone in MuJoCo with a small judgment model (TypeSafe Jev) in the loop at 2.5Hz
typesafe-playground ▶ — Interactive experiments with TypeSafe Jev, from support routing to 3D driving simulations with real AI decisions and visible sensor inputs.
live-jev ▶ — 2D autonomous car simulation in the browser, driven by TypeSafe's Jev decision model
jev-autopilot ▶ — This demo uses Jev from TypeSafe AI to autonomously fly a drone in a random city from point A to point B, avoiding obstacles along the way. A trip costs $0.01.
jev_speedway ▶ — Uses jev to control race cars on a virtual track
chakravyuha-jev ▶ — Chakravyuha — a polar ring-maze where every move is a Jev (TypeSafe System One) decision. A fun experiment: the model picks each move, the walk grades it green or red, and the history page asks whether its confidence score can be trusted. BYOK, no build step.
last-train-jev ▶ — A small detective escape room built with TypeSafe Jev, React, and Express.