BatLLM

BatLLM combines a playable local desktop game with a read-only game analyser, model-management tools and a separate research recorder and verifier. Players write prompts that control game bots through local large language models.

The game makes it possible to inspect how a player’s words become an executable command and how that command changes the game. Its research tools record those transitions in enough detail to check and replay them, separately from ordinary saved sessions. A paper on verifiable grounding and operative replay in the system was accepted for IEEE URUCON 2026.

Watch an example round of BatLLM.

BatLLM 0.3.6 runs locally. On Apple Silicon macOS, the published installation method is:

brew tap krahd/tap
brew install krahd/tap/batllm
batllm

The game requires a local Ollama installation and an installed model. The user guide describes its command language; the research and replay documentation distinguishes ordinary play from the separately recorded research sessions.