SkillsAdd

melodic-software/claude-code-plugins

tla-specification

TLA+ formal specification language for distributed systems and concurrent algorithms

First seen Jan 24, 2026

Installation

$ npx skills add https://github.com/melodic-software/claude-code-plugins
View on skills.sh ↗ GitHub repository ↗
Feature your product here Skill page unit · reach builders installing agent skills View pricing →

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

create-specification Similar name
github/awesome-copilot

Create a new specification file for the solution, optimized for Generative AI consumption.

13.5K installs
create-github-action-workflow-specification Similar name
github/awesome-copilot

Create a formal specification for an existing GitHub Actions CI/CD workflow, optimized for AI c…

19 installs
update-specification Similar name
github/awesome-copilot

Update an existing specification file for the solution, optimized for Generative AI consumption…

9.2K installs
create-github-pull-request-from-specification Similar name
github/awesome-copilot

Create GitHub Pull Request for feature request from specification file using pull_request_templ…

8.9K installs
create-github-issues-for-unmet-specification-requirements Similar name
github/awesome-copilot

Create GitHub Issues for unimplemented requirements from specification files using feature_requ…

8.9K installs
create-github-issue-feature-from-specification Similar name
github/awesome-copilot

Create GitHub Issue for feature request from specification file using feature_request.yml templ…

8.9K installs

Also in this package

Other skills from melodic-software/claude-code-plugins · top by installs.

npx skills add https://github.com/melodic-software/claude-code-plugins
design-thinking 264 plantuml-syntax 212 architecture-documentation 181 system-prompt-engineering 177 system-diagnostics 164 data-modeling 138 resume-optimization 133 state-machine-design 103 modular-architecture 98 swot-pestle-analysis 94

Browse all from melodic-software/claude-code-plugins

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 15
License LICENSE
Default branch main
Open issues 178
Status Active

Skill metadata

Parsed from SKILL.md frontmatter.

Declared agents claude-code

History

  1. First seen on skills.sh
  2. First recorded snapshot · 16 installs