Test Bed

A text adventure engine with an LLM as its dungeon master.

Our one application where an LLM is a first-class component of the system, not just a tool the app calls: the model is the dungeon master and narrator, running inside the game engine beside a deterministic rules engine. Game engine and server for text adventures playable via Claude Code, CLI, or web client. Three binaries: cryptd (server with the LLM narrator and rules engine), crypt (player CLI with Bubble Tea TUI), and crypt-admin (graph-first scenario authoring).

• Three binaries — server (game engine), client (TUI), admin (scenario authoring)
• LLM narrator with rules engine fallback — consistent game logic, expressive prose
• Graph-first scenario design — adventures are directed graphs with conditions and state
• Concurrent sessions — multiple players share one daemon
• Lux visualization — live game map and state display

Morse code training on iOS — a state machine specified in Z, written first.

An iOS app implementing the Koch method for Morse code, and a working demonstration of Z Spec on a state-machine domain. Training modes, session lifecycle, and scheduling were modelled as states and transitions in a formal Z specification, written first in Z Spec — the spec preceded the code.

• Koch method: characters introduced in order of recognizability
• Four training modes: Receive, Send, Ear Training, QSO simulation
• Spaced repetition scheduling adapts to your accuracy
• Free, no ads, no tracking — all data stored locally
• Implementation driven by formal Z specification