sk Skill · joshft
cmodel
Generate an Alloy formal model of security-relevant behavior and run the Alloy Analyzer. Use after /cspec for features with state machines, protocol handling, or trust boundaries.
Open on skills.sh ↗read 2026-09-15
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 9
bashShell
- Host repository
- joshft/correctless
- Allowed tools
- Read, Grep, Glob, Bash(java*), Bash(alloy*), Bash(git*), Bash(*workflow-advance.sh*), Write(docs/models/*), Write(.correctless/artifacts/token-log-*)
- Host stars
- 66
- Host language
- Shell