游戏与仿真

jev-mine-sweeping

@sxinyuhoo1PythonMIT更新于 2026-09-19

用 TypeSafe Jev(System One)驱动 HTML 扫雷游戏自动通关,实时询问模型并可视化选项、概率和代码验证的事实。

英文原文

用 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.

sxinyuhoo/jev-mine-sweeping

它在哪儿调用了 Jev

endpoint: str = "https://api.typesafe.ai/v1/systemone"

src/jev_mine_sweeping/config.py:61

链接指向我们抓取当天的那个 commit,行号是准的。

这个项目没法在这儿跑

它的 question 组合是运行时拼出来的,或者代码里没有直接写出来,所以没法原样搬过来。源码链接在上面,可以自己去看。

同类的其他项目