Skip to content
agents.nix
Color theme

quint-co/quint

claude-code-marketplaces via claudemarketplaces-com

Upstream
github.com/quint-co/quint
Version
0.33.1
Source details
Revision
v0.33.1 tag
Hash
sha256-F0Yj9e+qTOlj6RzspvkEhilXC6pFHvISBRLgvJmon7I=
Snapshot
data/claude-code-marketplaces/github.com/quint-co/quint.json · latest JSON

1 package

quint

0.33.1 · .

pkgs.claude-code-marketplaces.github.quint-co.quint.quint
Build without the overlay
nix build 'github:sudosubin/agents.nix#claude-code-marketplaces.aarch64-darwin.github.quint-co.quint.quint'

Lists no plugins

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.