Quint Visualizer – A GraphViz-like visualizer for Quint traces

Show HN: Quint Visualizer – A GraphViz-like visualizer for Quint traces

Quint Visualizer – A GraphViz-like visualizer for Quint traces is a business in show hn launch.

Profile

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.

As a business in show hn launch, Quint Visualizer – A GraphViz-like visualizer for Quint traces is listed here with the public details available about it.

It is recorded at the Show HN launch stage.

Website: quint-visualizer.noghartt.dev