quint-llm-kit

quint-llm-kit contém 1 skills coletadas de quint-co, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de quint-co Ver no GitHub

skills coletadas

Stars

atualizado

2026-07-01

Forks

Cobertura ocupacional

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

explorador de repositórios

Skills neste repositório

criador/repositório/skill

skill

ocupação

descrição

atualizado

quint-execute-spec

Desenvolvedores de software

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