skill.extrachatgpt.com logo

tla-trace-workflow by specula-org

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.

Testing
76 Stars
13 Forks
Updated Jan 19, 2026, 04:19 AM

Why Use This

This skill provides specialized capabilities for specula-org's codebase.

Use Cases

  • Developing new features in the specula-org repository
  • Refactoring existing code to follow specula-org standards
  • Understanding and working with specula-org's codebase structure

Install Guide

2 steps
  1. 1

    Download Ananke

    Skip this step if Ananke is already installed.

  2. 2

    Install inside Ananke

    Click Install Skill, paste the link below, then press Install.

    https://github.com/specula-org/Specula/tree/main/tools/trace_debugger/skills/tla-trace-workflow

Skill Snapshot

Auto scan of skill assets. Informational only.

Valid SKILL.md

Checks against SKILL.md specification

Source & Community

Repository Specula
Skill Version
main
Community
76 13
Updated At Jan 19, 2026, 04:19 AM

Skill Stats

SKILL.md 7 Lines
Total Files 1
Total Size 0 B
License NOASSERTION

Source

GitHub Repository ↗ Commit main ↗ skill.extrachatgpt.com ↗