ProofPatcher

ProofPatcher is a Muse-powered GitHub co-maintainer that brings pull request review, issue investigation and evidence-backed patch checks into one workbench. Muse can suggest changes and review pull requests; maintainers can inspect the results and control GitHub actions. Hari coordinates the abilities behind the workflow. The demo shows a focused order-total fixture checked in isolated runs, a bot-authored draft pull request, and a separate protected-branch review and merge. The current verifier covers the included cases rather than arbitrary repositories.