Semi-Formal Code Review

Use this skill when the user asks for a review of code changes.

This skill is informed by Agentic Code Reasoning by Shubham Ugare and Satish Chandra (arXiv:2603.01896v2, March 4, 2026), bundled locally as Agentic Code Reasoning - arXiv 2603.01896v2.pdf.

The paper does not publish this exact code-review workflow, but it does support the underlying method: semi-formal, evidence-first reasoning with explicit traces, data flow, semantic properties, and formal conclusions. This skill is a stricter code-review adaptation of that method.

Trigger

Activate when the user asks for a review of changes against a codebase, for example:

• "review this PR"
• "review these changes"
• "do a code review"
• "check this diff"
• "review the patch"
• "what do you think of these changes?"