Logo
Agent Skills Guide
All SkillsCategoryTags>Publishers
Logo
Agent Skills Guide
Logo
Agent Skills Guide

Discover and download skills for Claude Code and other AI agents

Skills
  • All Skills
  • Category
  • Tags
  • Publishers
Legal
  • Privacy Policy
  • Terms of Service
Copyright © 2026 Agent Skills Guide. Open Source.
  1. Home
  3. Publishers
  5. specula-org/Specula
specula-org/Specula logo

specula-org/Specula

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

1 skill published77 starsGitHub

tla-trace-workflow

@specula-org/specula

77

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.

Software Development