quint-llm-kit

quint-llm-kit enthält 1 gesammelte Skills von quint-co, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.

quint-co-Profil Auf GitHub ansehen

gesammelte Skills

Stars

aktualisiert

2026-07-01

Forks

Berufsabdeckung

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Repository-Explorer

Skills in diesem Repository

Creator/Repository/Skill

Skill

Beruf

Beschreibung

Aktualisiert

quint-execute-spec

Softwareentwickler

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