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.
Show HN: Quint Visualizer – A GraphViz-like visualizer for Quint traces
quint-visualizer.noghartt.dev