software-specification

Features and purpose

This skill should be used when the user asks to "write specifications", "specify an abstraction", "create contract tests", "property-based testing", "design by contract", "specification tests", or discusses how to formally specify interfaces before implementation. Provides methodology for writing executable specifications using the Basic/Advanced/Edge cases structure.

Quick start

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.