·tlaplus-workbench
</>

tlaplus-workbench

✓
younes-io/agent-skillsGitHub: younes-io/agent-skillsFonte: younes-io/agent-skills

Scrivere e perfezionare in modo iterativo le specifiche TLA+ eseguibili (.tla) e le configurazioni del modello TLC (.cfg) da progetti di sistemi in linguaggio naturale; eseguire il controllo del modello TLC; riassumere il superamento/fallimento e i controesempi con presupposti e limiti espliciti. Utilizzare quando richiesto per: progettare/convalidare una macchina a stati o un protocollo distribuito con TLA+, creare/modificare file .tla o .cfg, eseguire TLC o interpretare errori/controesempi TLC.

younes-io·tlaplus·workbench
6Installazioni·0Tendenza·@younes-io

Installazione

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

Come installare tlaplus-workbench

Installa rapidamente la skill AI tlaplus-workbench nel tuo ambiente di sviluppo tramite riga di comando

  1. Apri il terminale: Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.)
  2. Esegui il comando di installazione: Copia ed esegui questo comando: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
  3. Verifica l'installazione: Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw

Fonte: younes-io/agent-skills.

SKILL.md

Visualizza 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:

Scrivere e perfezionare in modo iterativo le specifiche TLA+ eseguibili (.tla) e le configurazioni del modello TLC (.cfg) da progetti di sistemi in linguaggio naturale; eseguire il controllo del modello TLC; riassumere il superamento/fallimento e i controesempi con presupposti e limiti espliciti. Utilizzare quando richiesto per: progettare/convalidare una macchina a stati o un protocollo distribuito con TLA+, creare/modificare file .tla o .cfg, eseguire TLC o interpretare errori/controesempi TLC. Fonte: younes-io/agent-skills.

Fatti (pronti per citazione)

Campi e comandi stabili per citazioni AI/ricerca.

Comando di installazione
npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
Fonte
younes-io/agent-skills
Categoria
</>Sviluppo
Verificato
✓
Prima apparizione
2026-02-26
Aggiornato
2026-03-11
URL
https://www.learn-skills.dev/it/skills/younes-io/agent-skills/tlaplus-workbench

Browse more skills from younes-io/agent-skills

Risposte rapide

Che cos'è tlaplus-workbench?

Scrivere e perfezionare in modo iterativo le specifiche TLA+ eseguibili (.tla) e le configurazioni del modello TLC (.cfg) da progetti di sistemi in linguaggio naturale; eseguire il controllo del modello TLC; riassumere il superamento/fallimento e i controesempi con presupposti e limiti espliciti. Utilizzare quando richiesto per: progettare/convalidare una macchina a stati o un protocollo distribuito con TLA+, creare/modificare file .tla o .cfg, eseguire TLC o interpretare errori/controesempi TLC. Fonte: younes-io/agent-skills.

Come installo tlaplus-workbench?

Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw

Dov'è il repository sorgente?

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

Dettagli

Categoria
</>Sviluppo
Fonte
skills.sh
Prima apparizione
2026-02-26

Skills correlate

Nessuna