harness-generation
Trace harness generation (Phase 2.5). Use when: (1) instrumenting a system's source code to emit NDJSON traces for TLA+ trace validation, (2) writing test scenarios that exercise protocol code paths, (3) producing the first batch of traces from instrumented tests.
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.
