I started digging deeper into Quint (https://quint-lang.org/), but I missed a tool that let me explore trace samples, something like how TLA+ uses GraphViz to visualize the state graph.
So I vibecoded a small web tool that lets you upload a valid JSON file and explore Quint trace in different stages.