·tlaplus-workbench
</>

tlaplus-workbench

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

Schreiben und iteratives Verfeinern ausführbarer TLA+-Spezifikationen (.tla) und TLC-Modellkonfigurationen (.cfg) aus Systemdesigns in natürlicher Sprache; TLC-Modellprüfung durchführen; Fassen Sie Pass/Fail und Gegenbeispiele mit expliziten Annahmen und Grenzen zusammen. Verwenden Sie diese Funktion, wenn Sie dazu aufgefordert werden: eine Zustandsmaschine oder ein verteiltes Protokoll mit TLA+ zu entwerfen/validieren, .tla- oder .cfg-Dateien zu erstellen/bearbeiten, TLC auszuführen oder TLC-Fehler/Gegenbeispiele zu interpretieren.

younes-io·tlaplus·workbench
6Installationen·0Trend·@younes-io

Installation

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

So installieren Sie tlaplus-workbench

Installieren Sie den KI-Skill tlaplus-workbench schnell in Ihrer Entwicklungsumgebung über die Kommandozeile

  1. Terminal öffnen: Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.)
  2. Installationsbefehl ausführen: Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
  3. Installation überprüfen: Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw

Quelle: younes-io/agent-skills.

SKILL.md

Original anzeigen

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:

Schreiben und iteratives Verfeinern ausführbarer TLA+-Spezifikationen (.tla) und TLC-Modellkonfigurationen (.cfg) aus Systemdesigns in natürlicher Sprache; TLC-Modellprüfung durchführen; Fassen Sie Pass/Fail und Gegenbeispiele mit expliziten Annahmen und Grenzen zusammen. Verwenden Sie diese Funktion, wenn Sie dazu aufgefordert werden: eine Zustandsmaschine oder ein verteiltes Protokoll mit TLA+ zu entwerfen/validieren, .tla- oder .cfg-Dateien zu erstellen/bearbeiten, TLC auszuführen oder TLC-Fehler/Gegenbeispiele zu interpretieren. Quelle: younes-io/agent-skills.

Fakten (zitierbereit)

Stabile Felder und Befehle für KI/Such-Zitate.

Installationsbefehl
npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
Quelle
younes-io/agent-skills
Kategorie
</>Entwicklung
Verifiziert
✓
Erstes Auftreten
2026-02-26
Aktualisiert
2026-03-11
URL
https://www.learn-skills.dev/de/skills/younes-io/agent-skills/tlaplus-workbench

Browse more skills from younes-io/agent-skills

Schnelle Antworten

Was ist tlaplus-workbench?

Schreiben und iteratives Verfeinern ausführbarer TLA+-Spezifikationen (.tla) und TLC-Modellkonfigurationen (.cfg) aus Systemdesigns in natürlicher Sprache; TLC-Modellprüfung durchführen; Fassen Sie Pass/Fail und Gegenbeispiele mit expliziten Annahmen und Grenzen zusammen. Verwenden Sie diese Funktion, wenn Sie dazu aufgefordert werden: eine Zustandsmaschine oder ein verteiltes Protokoll mit TLA+ zu entwerfen/validieren, .tla- oder .cfg-Dateien zu erstellen/bearbeiten, TLC auszuführen oder TLC-Fehler/Gegenbeispiele zu interpretieren. Quelle: younes-io/agent-skills.

Wie installiere ich tlaplus-workbench?

Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw

Wo ist das Quell-Repository?

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

Details

Kategorie
</>Entwicklung
Quelle
skills.sh
Erstes Auftreten
2026-02-26

Verwandte Skills

Keine