tla

Name: tla
Author: joelreymont

SKILLWorkflowcommunauté

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

Auteurjoelreymont

Version0.0.0

LicenceUnknown

CatégorieWorkflow

Formatsskill.md

PromptNon publié

Compatibilité

Claude✓ Pris en charge

Cursor—

Copilot—

ChatGPT—

Gemini—

À propos

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

Mots-clés

skillclaude