Jev application
Astra planner and JEV controller for Minecraft, with native recording, tested routes, and run verification.
Details →★ 536
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.
Project facts
- Relationship to Jev
- Jev application
- Evidence
- Documented
- Language
- Python
- License
- MIT
- Origin
- Original repository
- Repository status
- Not archived
- Created
- 2024-11-29
- GitHub stars
- 1
- Evidence checked
- 2026-09-24T08:40:10.508Z
- Metadata checked
- 2026-09-24T08:40:10.508Z
- Check status
- current
Stars measure the whole repository, including work unrelated to Jev.
Evidence and scope
Documented records the linked documentation or source. JevHunt has not independently run or benchmarked this project.
| 模型 | TypeSafe Jev / System One（`jev-latest`，实测 `jev-1.13.0`） |
Evidence commit: 1b72660a425771997d5ed65951538380dc3dff30
Discovered through: github-search.
How we review →