tla-precheck

tla-precheck contiene 1 skills recopiladas de kingbootoshi, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de kingbootoshi Ver en GitHub

skills recopiladas

Stars

106

actualizado

2026-03-16

Forks

Cobertura ocupacional

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

tla-precheck

Desarrolladores de software

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