verify-constraints

Verify business constraints and invariants from spec. Generates proofsfor proof_obligation constraints and plans runtime checks for others.Use when: verifying invariants, checking business rules, planning validation.

$ 安裝

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

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