quint-llm-kit

quint-llm-kit에는 quint-co에서 수집한 skills 1개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.

quint-co 프로필 GitHub에서 보기

수집된 skills

Stars

업데이트

2026-07-01

Forks

직업 범위

소프트웨어 개발자

직업 카테고리 1개 · 100% 분류됨

저장소 탐색

이 저장소의 skills

제작자/저장소/skill

skill

직업 분류

설명

업데이트

quint-execute-spec

소프트웨어 개발자

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