index / sxinyuhoo/jev-mine-sweeping
jev-mine-sweeping
用 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.
Games and SimulationControl LoopListedPythonreadme pick
Repository
Stars1
LanguagePython
LicenseMIT
Created2024-11-29
Last pushed2026-09-19
Officialno
Judgment
Genuine Jev project0.92
gate 0.5
Uses Jev at runtime0.93
Is a meta list0.02
Is a reimplementation0.08
Quality scales
Substance2.01 / 3
gate 0.5
Docs2.98 / 3
Novelty2.35 / 3
Composite score0.80
Category distribution
Games and Simulation0.97
Research and Evals0.03
Integrations0.00
Learning0.00
Applications0.00
SDKs and Clients0.00
Other0.00
Agent and Dev Tooling0.00
Assigned categoryGames and Simulation
Category probability0.97
Category confidence0.96
PatternControl Loop
Pattern confidence1.00
Curation
StatusListed
Reasongate passed
README pickyes
Overridenone
Sources
- search:jev typesafe
- search:"system one" jev
Provenance
Modeljev-1.13.0
Question setv2
Judged at2026-09-19 10:54 UTC