About
The Verification Before Completion skill establishes a non-negotiable protocol for AI-driven development, mandating that every claim of success is supported by fresh verification data. It prevents common pitfalls like 'hallucinated' successes or premature completions by enforcing a strict gate function: identifying specific proof commands, executing them, and analyzing the full output before reporting status. This skill is essential for maintaining high trust and code quality, ensuring that builds, tests, and bug fixes are truly functional rather than just appearing correct.