spec-constraints

Define constraints, invariants, and laws for the system. Creates proofobligations for formal verification. Use when: specifying business rules,defining invariants, creating validation requirements, expressing laws.

$ Installieren

git clone https://github.com/BellaBe/ideas-os /tmp/ideas-os && cp -r /tmp/ideas-os/.claude/skills/engineering-spec-constraints ~/.claude/skills/ideas-os

// tip: Run this command in your terminal to install the skill