semi-formal-reasoning

Use for code verification, debugging, and deep code analysis without running tests. This skill should be used when the user asks to "verify my changes", "check my patch", "find the bug", "why does this test fail", "are these changes correct", "review this diff", or when analyzing code semantics that require tracing execution paths. It applies semi-formal structured reasoning from the Agentic Code Reasoning paper (Ugare & Chandra, Meta, 2026) to prevent unsupported claims and force evidence-based analysis.