The Agent Skills Directory

[SAFE]: The skill serves as a documentation resource for the Quint language and its associated CLI tools. It provides syntax references, operator definitions, and guidelines for model checking and simulation.
[SAFE]: Instructions regarding the installation of the @informalsystems/quint package from the official npm registry are standard for the technology being documented.
[SAFE]: The skill contains no executable code, remote script execution patterns, obfuscation, or data exfiltration vectors. It focuses entirely on instructional content and reference material.

quint-lang