Test Bed

Real projects where we discover what works and what doesn’t. Koch Trainer is a production iOS app driven entirely by a formal Z specification — publishing to the App Store in April 2026. Cryptd is a text adventure engine with an LLM narrator, rules engine, and graph-first scenario authoring — experimenting with agentic game UX across CLI, Claude Code, and web clients.

Koch Trainer

v1.0.2

Learn Morse code the right way — at full speed, from day one.

An iOS app implementing the Koch method for Morse code. The entire implementation was driven by a formal Z specification written first in Z Spec — the spec preceded the code.

Specified with Z Spec
  • 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
GitHub → Installation Code LevelL1

Cryptd

v0.1.0 alpha

A text adventure engine where AI narrates your choices.

Game engine and server for text adventures playable via Claude Code, CLI, or web client. Three binaries: cryptd (server with LLM narrator and rules engine), crypt (player CLI with Bubble Tea TUI), and crypt-admin (graph-first scenario authoring). Replaces Dungeon with a real game engine instead of pure prompts.

Visualizes with Lux
  • 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