parthiv-kota/patchproof
v0.1.0MIT
Review, fix and explain code changes with concrete verification evidence and plain-language limits.
patchproof-fix
Fix a concrete bug with a focused change and regression evidence. Use when the user asks PatchProof to fix a reported failure or implement a verified review finding.
patchproof-handoff
Prepare a factual maintainer handoff or local PR-description draft from completed work and observed verification. Use when the user requests a PatchProof handoff, review summary, or draft release evidence.
patchproof-review
Review a proposed code change for concrete regressions and unnecessary scope, with source evidence and explicit verification limits. Use when the user asks for a PatchProof review or an evidence-backed review of local changes.