Skip to content

fix: retarget Cursor agents at external Proof - #242

Merged
tonyketcham merged 1 commit into
mainfrom
stack/tonyketcham/toeknee/extract-proof-repo/retarget-cursor-agents-external-proof--d40e6118
Aug 12, 2026
Merged

fix: retarget Cursor agents at external Proof#242
tonyketcham merged 1 commit into
mainfrom
stack/tonyketcham/toeknee/extract-proof-repo/retarget-cursor-agents-external-proof--d40e6118

Commits

Commits on Aug 12, 2026