Show HN: Quint Visualizer – A GraphViz-like visualizer for Quint traces (quint-visualizer.noghartt.dev)

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.