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.
Informations de source
- Dépôt
- specula-org/Specula
- Dernière activité de la source
- 25 juillet 2026 à 04:42
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 421
- Forks
- 45
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
