quint-llm-kit

quint-llm-kit contiene 1 skills recopiladas de quint-co, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de quint-co Ver en GitHub

skills recopiladas

Stars

actualizado

2026-07-01

Forks

Cobertura ocupacional

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

quint-execute-spec

Desarrolladores 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