·tlaplus-workbench
</>

tlaplus-workbench

✓
younes-io/agent-skillsGitHub: younes-io/agent-skillsИсточник: younes-io/agent-skills

Написание и итеративное уточнение исполняемых спецификаций TLA+ (.tla) и конфигураций моделей TLC (.cfg) на основе системных проектов на естественном языке; запустить проверку модели TLC; обобщить результаты «пройден/не пройден» и контрпримеры с явными предположениями и границами. Используйте, когда вас просят: спроектировать/проверить конечный автомат или распределенный протокол с помощью TLA+, создать/редактировать файлы .tla или .cfg, запустить TLC или интерпретировать сбои/противоречащие примеры TLC.

younes-io·tlaplus·workbench
6Установки·0Тренд·@younes-io

Установка

GitHub: younes-io/agent-skills
$npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench

Как установить tlaplus-workbench

Быстро установите AI-навык tlaplus-workbench в вашу среду разработки через командную строку

  1. Откройте терминал: Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.)
  2. Выполните команду установки: Скопируйте и выполните эту команду: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
  3. Проверьте установку: После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw

Источник: younes-io/agent-skills.

SKILL.md

Показать raw

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.

Факты (для цитирования)

Стабильные поля и команды для ссылок в AI/поиске.

Команда установки
npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
Источник
younes-io/agent-skills
Категория
</>Разработка
Проверено
✓
Впервые замечено
2026-02-26
Обновлено
2026-03-10
URL
https://www.learn-skills.dev/ru/skills/younes-io/agent-skills/tlaplus-workbench

Browse more skills from younes-io/agent-skills

Короткие ответы

Что такое tlaplus-workbench?

Написание и итеративное уточнение исполняемых спецификаций TLA+ (.tla) и конфигураций моделей TLC (.cfg) на основе системных проектов на естественном языке; запустить проверку модели TLC; обобщить результаты «пройден/не пройден» и контрпримеры с явными предположениями и границами. Используйте, когда вас просят: спроектировать/проверить конечный автомат или распределенный протокол с помощью TLA+, создать/редактировать файлы .tla или .cfg, запустить TLC или интерпретировать сбои/противоречащие примеры TLC. Источник: younes-io/agent-skills.

Как установить tlaplus-workbench?

Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw

Где находится исходный репозиторий?

https://github.com/younes-io/agent-skills

Детали

Категория
</>Разработка
Источник
skills.sh
Впервые замечено
2026-02-26

Похожие навыки

Нет