Skill UI

This comprehensive guide outlines a rigorous, human-in-the-loop engineering workflow for leveraging advanced AI agents to complete complex implementation tasks. It mandates defining clear completion criteria, decomposing work into manageable units, and strategically routing models (Haiku, Sonnet, Opus) based on task complexity. The workflow emphasizes continuous evaluation, regression testing, security review of invariants and edge cases, and strict cost discipline to ensure robust and reliable software development using AI assistance.

Invariant-Guard enforces a correctness-first approach to algorithm design. Instead of writing code and hoping it works, this skill mandates defining the function contract, loop invariants, termination arguments, and all potential edge cases *before* implementation. It is essential for complex algorithms where subtle bugs (like off-by-one errors or missed post-conditions) are common, ensuring mathematically rigorous and verifiable code.

This comprehensive guide outlines a rigorous, human-in-the-loop engineering workflow for leveraging advanced AI agents to complete complex implementation tasks. It mandates defining clear completion criteria, decomposing work into manageable units, and strategically routing models (Haiku, Sonnet, Opus) based on task complexity. The workflow emphasizes continuous evaluation, regression testing, security review of invariants and edge cases, and strict cost discipline to ensure robust and reliable software development using AI assistance.

Invariant-Guard enforces a correctness-first approach to algorithm design. Instead of writing code and hoping it works, this skill mandates defining the function contract, loop invariants, termination arguments, and all potential edge cases *before* implementation. It is essential for complex algorithms where subtle bugs (like off-by-one errors or missed post-conditions) are common, ensuring mathematically rigorous and verifiable code.