Skill to verify and optimize software with TLA+ and ts-tla
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
A GitHub project by paralin, "Skill to verify and optimize software with TLA+ and ts-tla", packages an agent skill that has coding agents model stateful code in TLA+, keep each spec beside its source file, and run the tla-ts checker on every build.