The Agent Skills Directory

[SAFE]: The skill defines a structured process for verification, emphasizing deterministic assertions and trace assertions over fuzzy evaluations. It includes safety-focused instructions to redact or omit secrets and credentials from any logs or telemetry produced during verification.
[COMMAND_EXECUTION]: The instructions reference a grace CLI tool for project artifact inspection. These commands (grace module show, grace file show) are used for metadata retrieval and are consistent with the skill's documented purpose.

grace-verification