The Agent Skills Directory

[SAFE]: No malicious patterns or security risks were detected. The skill consists of Markdown guidelines and Quint specification files designed for formal verification.
[COMMAND_EXECUTION]: The skill guides the agent to use standard Quint CLI tools (typecheck, run, test) to validate the correctness of models. This usage is restricted to the intended purpose of the formal modeling workflow.
[DATA_EXPOSURE]: The 'from code' workflow involves reading local source files to extract architectural logic. This is an essential part of the skill's primary function and does not involve unauthorized data access or exfiltration.

quint-modeling