quint-llm-kit

quint-llm-kit contains 1 collected skills from quint-co, with repository-level occupation coverage and site-owned skill detail pages.

quint-co profile View on GitHub

skills collected

Stars

updated

2026-07-01

Forks

Occupation coverage

Software Developers

1 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

quint-execute-spec

software-developers

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