quint-co/quint-llm-kit

agent-skills via skills-sh

Upstream: github.com/quint-co/quint-llm-kit
Version: 0-unstable-2026-07-01

Source details

Revision: cc75369f741af7d490936f82002c2d28e3b3d78d commit
Hash: sha256-foxnLAWxLKItABamN83sN1lX7BiPKGCbD6F6hSJCypc=
Snapshot: data/agent-skills/github.com/quint-co/quint-llm-kit.json · latest JSON

3 packages

quint-execute-spec

0-unstable-2026-07-01 · quint-llm-kit-plugin/skills/quint-execute-spec

pkgs.agent-skills.github.quint-co.quint-llm-kit.quint-execute-spec

Install with home-manager

programs.claude-code.skills.quint-execute-spec = pkgs.agent-skills.github.quint-co.quint-llm-kit.quint-execute-spec;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.quint-co.quint-llm-kit.quint-execute-spec'

quint-lang

0-unstable-2026-07-01 · quint-llm-kit-plugin/skills/quint-lang

pkgs.agent-skills.github.quint-co.quint-llm-kit.quint-lang

Install with home-manager

programs.claude-code.skills.quint-lang = pkgs.agent-skills.github.quint-co.quint-llm-kit.quint-lang;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.quint-co.quint-llm-kit.quint-lang'

quint-modeling

0-unstable-2026-07-01 · quint-llm-kit-plugin/skills/quint-modeling

pkgs.agent-skills.github.quint-co.quint-llm-kit.quint-modeling

Install with home-manager

programs.claude-code.skills.quint-modeling = pkgs.agent-skills.github.quint-co.quint-llm-kit.quint-modeling;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.quint-co.quint-llm-kit.quint-modeling'

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too. Any agent that reads a skills directory can use these packages; see the usage guide for installation.