tlaplus-split-action

tlaplus-split-action is a Refactoring & code quality skill for AI agents, published by tlaplus in the AgentSkills repository on GitHub. Skillspace rates tlaplus-split-action D (66/100) and it passed the safety scan; the rating is based on static analysis only.

Split a TLA+ action into two sequential actions by introducing a new program counter (pc) state. Handles pc variable updates, UNCHANGED statements, TypeOk predicates, and follows naming conventions with renumbering. Use when the user asks to split, divide, or break an action into two parts, or wants to add an intermediate step to an action sequence.

Grade
D
Quality
66 / 100
Safety
Passed
GitHub stars
29

Unproven: rated by static analysis only, not yet compared head-to-head.

This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.

View source on GitHubtlaplus/AgentSkills

Our review

Architecture
96 / 100
Maturity
Basic: a single SKILL.md
Security scan
No issues found
License
MIT
Adoption
Adopted by 0 other repositories, in 1 collections

Not checked yet

  • Not judged on the rubric yet (not a contender in its category)
  • No blind task eval yet
  • Scope (portable / vendor / repo-internal) not assessed; only the top of each category is read for scope
  • Sibling files (scripts, references) not fetched; security scan covers SKILL.md only

Better-rated skills in Refactoring & code quality

Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.