tla

Name: tla
Author: joelreymont

SKILLFlujo de trabajocomunidad

v0.0.0joelreymontUnknownFuente →

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 →

1Clientes

1Formatos

Skill

Autorjoelreymont

Versión0.0.0

LicenciaUnknown

CategoríaFlujo de trabajo

Formatosskill.md

PromptNo publicado

Compatibilidad

Claude✓ Compatible

Cursor—

Copilot—

ChatGPT—

Gemini—

Acerca de

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

Palabras clave

skillclaude