tla-precheck

tla-precheck contient 1 skills collectées depuis kingbootoshi, avec une couverture métier par dépôt et des pages de détail sur le site.

Profil kingbootoshi Voir sur GitHub

skills collectés

Stars

106

mis à jour

2026-03-16

Forks

Couverture métier

Développeurs de logiciels

1 catégories métier · 100% classifié

explorateur de dépôts

Skills dans ce dépôt

créateur/dépôt/skill

skill

métier

description

mis à jour

tla-precheck

Développeurs de logiciels

Design and verify state machines using the TLA PreCheck TypeScript DSL. Use when building billing flows, subscription lifecycles, agent orchestration, queue processing, deployment pipelines, or any critical state machine where a bug means corrupted data, stuck users, or silent failures. Triggers on .machine.ts files, state machine design tasks, or when formal verification of state transitions is needed.

2026-03-16