Agentic Code Reasoner

This skill implements the "Agentic Code Reasoning" framework, focusing on semi-formal reasoning. It bridges the gap between unstructured reasoning and fully formal verification by using structured reasoning templates that force explicit evidence for every claim.

When to Use

• Patch Equivalence: Verifying if two code patches produce the same semantic outcomes without execution.
• Fault Localization: Identifying the exact lines of buggy code given a failing test description.
• Code Question Answering: Answering nuanced questions about project-specific logic, library semantics, and edge cases.
• Pre-commit Review: Performing deep semantic analysis of changes to prevent regressions.

The Semi-Formal Protocol

To perform agentic code reasoning, follow this iterative protocol to generate a Reasoning Certificate.