tla

Name: tla
Author: joelreymont

SKILLFlusso di lavorocommunity

v0.0.0joelreymontUnknownFonte →

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 →

1Client

1Formati

Skill

Autorejoelreymont

Versione0.0.0

LicenzaUnknown

CategoriaFlusso di lavoro

Formatiskill.md

PromptNon pubblicato

Compatibilità

Claude✓ Supportato

Cursor—

Copilot—

ChatGPT—

Gemini—

Descrizione

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

Parole chiave

skillclaude