A terminal UI tool for exploring Quint/Apalache traces in the Informal Trace Format (ITF). This is a toy, vibe-coded project. We advise you to use agents to change the code if changes are needed. Vibe ...