tla-trace-workflow
TLA+ Trace Validation workflow. Use when: (1) validating if a trace matches a TLA+ spec, (2) debugging trace validation failures (TLC reports 'Temporal properties were violated' or validation stops unexpectedly), (3) fixing spec/trace inconsistencies after root cause is identified.
Informações da origem
- Repositório
- specula-org/Specula
- Última atividade na origem
- 20 de maio de 2026 às 04:22
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 421
- Forks
- 45
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
