tla

Name: tla
Rating: 10 (1 reviews)
Author: joelreymont

SKILLWorkflowcommunity

v0.0.0joelreymontUnknownSource →

Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

1Clients

1Formats

Skill

Authorjoelreymont

Version0.0.0

LicenseUnknown

CategoryWorkflow

Formatsskill.md

PromptOpen (see Prompt tab)

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".

Keywords

skillclaude