Contract

• Input: problem description and inputs defined by the skill body.
• Output: Markdown artifact with completed process steps.
• Side effects: none.
• Dependencies: none.
• Stop condition: all process steps executed; artifact saved with required sections.
• Risk: low.
• Boundary: produces reasoning artifact only; no system changes.

Cryptographic Analysis

Analyse or design a cryptographic construction with explicit hardness assumptions, security reductions, and attack analysis.

When to use