Skill to verify and optimize software with TLA+ and ts-tla

(github.com) by aperturecjs | Nov 4, 2026 | 0 comments on HN