Generalmelodic-software

specify

Create formal specification for a component or behavior using TLA+, SysML, or state machines. Use for safety-critical systems.

Stars: 74
Source: melodic-software/claude-code-plugins
Updated: 2026-04-07
Slug: melodic-software--claude-code-plugins--specify

View on GitHub Raw SKILL.md

// 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/specify/SKILL.md -o .claude/skills/specify.md

Drops the SKILL.md into .claude/skills/specify.md. Works with Claude Code, Cursor, and any agent that loads SKILL.md files from .claude/skills/.

// 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.