quint-llm-kit

quint-llm-kit contient 1 skills collectées depuis quint-co, avec une couverture métier par dépôt et des pages de détail sur le site.

Profil quint-co Voir sur GitHub

skills collectés

Stars

mis à jour

2026-07-01

Forks

Couverture métier

Développeurs de logiciels

1 catégories métier · 100% classifié

explorateur de dépôts

Skills dans ce dépôt

créateur/dépôt/skill

skill

métier

description

mis à jour

quint-execute-spec

Développeurs de logiciels

Implement code against an existing Quint specification. Uses Research → Plan → Implement workflow (ACE-FCA style) grounded by the spec as the source of truth. Use when the user wants to refactor code, add a new feature, or close a gap between implementation and spec — with the Quint spec as the formal constraint that all changes must satisfy.

2026-07-01