skills

Ships Alloy 6 models, bounded CLI passes, logs, and summaries beside specs to hunt omissions via checks. Use when checking Markdown/design docs with Alloy QA, omission sweeps needing counterexamples, or deriving colocated Alloy artefacts—not Alloy-only tutoring sans artefacts or work unrelated to authored prose.

Use when the user explicitly invokes fix-act to repair GitHub Actions—optional failed run URL, or latest failure on default branch here. Uses gh: logs, CI/test patches, push, watch until every check on that commit passes. Not for unrelated tasks or other repos until origin matches. Requires gh auth and a clean git working tree.

Creates Architecture Decision Records (ADRs) under docs/adr/ from the current chat or summarized decision context. Applies docs/adr/template.md for structure and docs/adr/README.md for project rules. Use whenever the user asks to record an architecture or technology decision, write an ADR, document why something was chosen or rejected, capture alternatives from a discussion, or formalize a decision reached in conversation—even if they do not say "ADR" by name.