validation-workflow
TLA+ Verification workflow (orchestration). Use when: running the full verification loop — iterating between trace validation and model checking until both pass, ensuring spec faithfully models the system.
Source facts
- Repository
- specula-org/Specula
- Last source activity
- July 25, 2026 at 04:42
- Detected SKILL.md language
- English
- Stars
- 421
- Forks
- 45
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
