tla-precheck

tla-precheck contains 1 collected skills from kingbootoshi, with repository-level occupation coverage and site-owned skill detail pages.

kingbootoshi profile View on GitHub

skills collected

Stars

106

updated

2026-03-16

Forks

Occupation coverage

Software Developers

1 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

tla-precheck

software-developers

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