NetHackED

Deterministic Rust engine with machine-checked Lean 4 models of selected mechanics β€” from Yemelianov (Emelyanov Dmytro)

Welcome to NetHackED! Core mechanics modeled in Lean 4.
Initializing WebAssembly engine...
Hero:Valkyrie
Align:Neutral
Dlvl:1
Gold:50
HP:18(18)
Pw:5(5)
AC:7
Nutr:Normal
Turn:1

Direct Controls

Agent / LLM JSON Telemetry

Structured observation emitted to autonomous AI pairs:

πŸ† NetHackED Leaderboard & AI Arena

Empirical evaluation results across randomized dungeon seeds (see benchmark_report.json for the exact run count):

Rank Policy Name Win Rate Mean Depth Mean Kills Mean Turns Mean Gold

Character Creation

Manage packs…

πŸŽ’ Hero Inventory

Select an item to inspect or perform an action:

# Item Name Class BUC Ench Wt Shop Cost
Selected: None
#dip into water:

βœ’οΈ Engrave in the Dust

Writing Elbereth wards the tile and prevents non-humanoid monsters from attacking!