A Spark DSL for writing TLA+/PlusCal specifications in Elixir
3 files for Claude Code, Codex and OpenCode: spark, tlx AGENTS.md, tlx CLAUDE.md — 3,423 tokens loaded in every session.
AGENTS.md A 1,283 tok CLAUDE.md A 2,140 tok .claude/skills/spark/SKILL.md A 27 tok These files are jrjsmrtn/tlx's own configuration — they tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.