// fetch failed
Couldn't render the SKILL.md content here right now. You can view the raw markdown or open the source folder on GitHub.
Generalmelodic-software
tla-specification
TLA+ formal specification language for distributed systems and concurrent algorithms
- Stars
- 74
- Source
- melodic-software/claude-code-plugins
- Updated
- 2026-04-07
- Slug
- melodic-software--claude-code-plugins--tla-specification
// install — copy + paste into any project
mkdir -p .claude/skills && curl -fsSL https://raw.githubusercontent.com/melodic-software/claude-code-plugins/HEAD/plugins/formal-specification/skills/tla-specification/SKILL.md -o .claude/skills/tla-specification.mdDrops the SKILL.md into .claude/skills/tla-specification.md. Works with Claude Code, Cursor, and any agent that loads SKILL.md files from .claude/skills/.