Skip to content

chore: add the verify-native-lifecycle TLA+ skill - #24

Merged
ThomasK33 merged 3 commits into
mainfrom
skills/verify-native-lifecycle
Oct 29, 2026
Merged

chore: add the verify-native-lifecycle TLA+ skill#24
ThomasK33 merged 3 commits into
mainfrom
skills/verify-native-lifecycle

chore: verify-native-lifecycle works without /statechart, sync to the…

4c4a49b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar