Test Bed

Real projects where we discover what works and what doesn’t. Koch Trainer is a mature iOS app driven entirely by a formal Z specification. langlearn-tts is a Claude Desktop language tutor we use daily — the complete LangLearn platform is being rebuilt by decomposing and refining each component. Dungeon is a toy that illustrates UX patterns for prompt-only applications.

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

langlearn-tts

v0.7.1 beta

An AI language tutor that speaks to you — inside Claude Desktop.

A Claude Desktop extension for language learning with audio. Choose from 28 tutor personas across 7 languages and 4 levels, and Claude teaches with spoken pronunciation throughout the lesson. We use it daily to study German and Korean.

Built on Vox

28 tutor personas — 7 languages, 4 levels, each with a distinct teaching voice
Audio throughout lessons — pronunciation, example sentences, flashcard drills
Three TTS providers — ElevenLabs (recommended), OpenAI, AWS Polly
Adjustable speed — defaults to 90% for learners

Coming Soon

LangLearn

v0.1.0 alpha

The complete platform — TTS, flashcards, and images composed into one learning pipeline.

LangLearn wires langlearn-tts, langlearn-anki (Anki deck generation with audio and image attachments), and langlearn-imagegen (multi-backend visual asset generation) into a single pipeline with evaluation gates between stages. Each component follows the universal access pattern and is usable standalone. Currently being rebuilt from the ground up by decomposing and refining each component.

Built on langlearn-tts

Composes langlearn-tts, langlearn-anki, and langlearn-imagegen
Anki deck generation with audio and image attachments
Multi-backend image generation for visual learning assets
Evaluation gates between pipeline stages
Each component usable standalone or composed

Dungeon

v0.1.3

A text adventure where Claude is the game master.

No code runs, only prompts. The entire game engine is a single markdown file — Claude's language understanding interprets commands and narrates outcomes. Built to experiment with and develop UX concepts for Claude Code experiences.

Built on Punt Kit

Zero lines of application code — fully prompt-driven
Three bundled adventures: fantasy, UNIX internals, gothic horror
Game state persists as YAML across Claude Code sessions
Natural language commands — type what you want to do

$ curl -fsSL https://raw.githubusercontent.com/punt-labs/dungeon/e3653eb/install.sh | sh