claudeindex
Plugin

formal-specification

Formal methods and specification languages: UML/SysML modeling, TLA+ specifications, OpenAPI/AsyncAPI contract-first design, state machines, and Use Case 2.0 methodology.

Installation

1

Add the marketplace

/plugin marketplace add melodic-software/claude-code-plugins
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

melodic-software/claude-code-plugins

Details & Metadata