tla-specification

TLA+ formal specification language for distributed systems and concurrent algorithms

by melodic-software· Repository·other

Also installable via skills CLI

npx skills add melodic-software/claude-code-plugins/plugins/formal-specification/skills/tla-specification

Source

Path:plugins/formal-specification/skills/tla-specification(main)

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

CLI tool for configuring and monitoring Claude Code

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