πŸ”Œ

formal-specification

πŸ”ŒPlugin

melodic-software/claude-code-plugins

πŸͺ

Part of

melodic-software-claude-code-plugins

Installation

Add marketplace in Claude Code:
/plugin marketplace add melodic-software/claude-code-plugins
Step 2. Install plugin:
/plugin install formal-specification@melodic-software
14
-
Last UpdatedJan 19, 2026

More from this repository10

🎯
design-thinking🎯Skill

Claude Code plugins for documentation management and code quality, utilizing spaCy for NLP operations and Node.js for markdown linting.

🎯
plantuml-syntax🎯Skill

Claude Code plugins for documentation management and code quality, utilizing spaCy for NLP operations and Node.js for markdown linting.

🎯
system-prompt-engineering🎯Skill

A Claude Code plugin collection for documentation management, code quality, and ecosystem support, with tools for system prompt engineering and markdown linting.

🎯
state-machine-design🎯Skill

Claude Code plugins for documentation management and code quality, utilizing spaCy for NLP operations and Node.js for markdown linting.

🎯
data-modeling🎯Skill

Claude Code plugins for documentation management and code quality, utilizing spaCy for NLP operations and Node.js for markdown linting.

🎯
swot-pestle-analysis🎯Skill

Generates comprehensive SWOT and PESTLE analysis reports for strategic business planning, helping organizations assess internal and external environmental factors.

🎯
resume-optimization🎯Skill

A collection of Claude Code plugins for documentation management, code quality, and ecosystem support, including Atlassian integration, browser automation, resume optimization, and Google ecosystem tools.

🎯
cryptography🎯Skill

A cryptography skill from Claude Code Plugins, providing documentation management, code quality patterns, and ecosystem support for cryptographic development.

🎯
modular-architecture🎯Skill

A modular architecture plugin from Claude Code Plugins, providing patterns for building modular, maintainable software architectures.

🎯
gemini-token-optimization🎯Skill

A Gemini token optimization skill from a Claude Code plugins collection, providing techniques for optimizing token usage and costs when working with Google's Gemini API alongside documentation management and code quality tools.