bug-confirmation
Bug confirmation and reproduction. Use when: (1) a bug has been found by model checking and needs code-level validation, (2) reproducing a bug in the real system to confirm it is not a false positive, (3) assessing whether a TLA+ counterexample maps to a real triggerable scenario.
Informations de source
- Dépôt
- specula-org/Specula
- Dernière activité de la source
- 30 juillet 2026 à 17:05
- 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.
