The Agent Skills Directory

[SAFE]: The skill consists entirely of instructional documentation and reference material for the Quint language. It provides clear guidance on syntax, modules, types, and the use of the Quint CLI.
[EXTERNAL_DOWNLOADS]: The guidelines/cli.md file references the installation of the @informalsystems/quint package via NPM. This is the official package for the tool, provided by Informal Systems, and is a standard requirement for using the language.
[INDIRECT_PROMPT_INJECTION]: The skill is designed to help users write and debug Quint files (.qnt). While malicious instructions could theoretically be embedded in the comments of a specification file processed by the agent, this is a general risk associated with processing any external code or document and is not a specific flaw in this skill.

quint-lang