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.

CS Algorithms

Design, analyse, and verify an algorithm — its correctness, complexity, stability, and invariants — with an explicit proof structure.

When to use