tlaplus-model-reduction

Automatically simplify and minimize TLA+ specifications by reducing redundant state variables, merging equivalent actions, and minimizing invariants while preserving specified properties. Use when wor

by ArabelaTso· Repository·other
Run in AgentAreaBrowse All Skills
Also installable via skills CLI
npx skills add ArabelaTso/Skills-4-SE/skills/tlaplus-model-reduction

Source

Repo:github.com/ArabelaTso/Skills-4-SE
Path:skills/tlaplus-model-reduction/SKILL.md(main)

Related in other

agent-memory-yamadashy-repomix

Use this skill when the user asks to save, remember, recall, or organize memories. Triggers on: 'remember this', 'save this', 'not...

by yamadashy
21,427

task-execution-engine

CLI tool for configuring and monitoring Claude Code

by davila7
18,218

qiuzhi

指导Claude按照二哥的风格撰写求职类文章，包括公司薪资爆料、年终奖盘点、求职攻略、offer选择建议等内容。

by itwanger
16,619