tla

Name: tla
Author: joelreymont

SKILLWorkflowCommunity

v0.0.0joelreymontUnknownQuelle →

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

1Formate

Skill

Autorjoelreymont

Version0.0.0

LizenzUnknown

KategorieWorkflow

Formateskill.md

PromptNicht veröffentlicht

Kompatibilität

Claude✓ Unterstützt

Cursor—

Copilot—

ChatGPT—

Gemini—

Über

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

Schlagwörter

skillclaude