What it does
A Cursor rules file that asks the AI to verify before it agrees. It checks that library functions exist in the installed version, forbids invented signatures, lists edge cases before validating code, requires evidence for approval, and keeps invariants during refactors.
Use cases
- 01Check that a library call exists in the installed version
- 02List edge cases before approving a function
- 03State the invariants before refactoring a module