fix: harden Cursor Cli + issue 210-212 end-to-end proofs#214

Merged

Finesssee merged 1 commit into

mainfrom

fix/issues-210-212-proof-hardening

Jul 21, 2026

Commits on Jul 21, 2026

fix: harden Cursor Cli path and add issue 210-212 end-to-end proofs
Finesssee
committed