كتابة وتحسين مواصفات TLA+ القابلة للتنفيذ (.tla) وتكوينات نموذج TLC (.cfg) من تصميمات أنظمة اللغة الطبيعية؛ تشغيل فحص نموذج TLC؛ تلخيص النجاح/الفشل والأمثلة المضادة مع افتراضات وحدود واضحة. يُستخدم عندما يُطلب منك: تصميم/التحقق من صحة جهاز حالة أو بروتوكول موزع باستخدام TLA+، أو إنشاء/تحرير ملفات .tla أو .cfg، أو تشغيل TLC، أو تفسير حالات فشل TLC/الأمثلة المضادة.
ثبّت مهارة الذكاء الاصطناعي tlaplus-workbench بسرعة في بيئة التطوير لديك عبر سطر الأوامر
المصدر: younes-io/agent-skills.
If the user doesn't specify bounds, propose minimal ones (and label them as "proposed"):
Prefer modeling the design over implementation details. If the design is fuzzy, model the uncertainty explicitly with nondeterminism and constraints.
Maintain a compact checklist that maps each natural-language requirement to one of:
كتابة وتحسين مواصفات TLA+ القابلة للتنفيذ (.tla) وتكوينات نموذج TLC (.cfg) من تصميمات أنظمة اللغة الطبيعية؛ تشغيل فحص نموذج TLC؛ تلخيص النجاح/الفشل والأمثلة المضادة مع افتراضات وحدود واضحة. يُستخدم عندما يُطلب منك: تصميم/التحقق من صحة جهاز حالة أو بروتوكول موزع باستخدام TLA+، أو إنشاء/تحرير ملفات .tla أو .cfg، أو تشغيل TLC، أو تفسير حالات فشل TLC/الأمثلة المضادة. المصدر: younes-io/agent-skills.
حقول وأوامر مستقرة للاقتباس في أنظمة الذكاء الاصطناعي والبحث.
npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbenchكتابة وتحسين مواصفات TLA+ القابلة للتنفيذ (.tla) وتكوينات نموذج TLC (.cfg) من تصميمات أنظمة اللغة الطبيعية؛ تشغيل فحص نموذج TLC؛ تلخيص النجاح/الفشل والأمثلة المضادة مع افتراضات وحدود واضحة. يُستخدم عندما يُطلب منك: تصميم/التحقق من صحة جهاز حالة أو بروتوكول موزع باستخدام TLA+، أو إنشاء/تحرير ملفات .tla أو .cfg، أو تشغيل TLC، أو تفسير حالات فشل TLC/الأمثلة المضادة. المصدر: younes-io/agent-skills.
افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal انسخ ونفّذ هذا الأمر: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw
https://github.com/younes-io/agent-skills