Cursor rule Cursor
When implementing parallel (Mt) algorithms in Verus, do NOT assume.
not rated 10 23d ago A 793 tokens
original MIT
Cursor rule Cursor
Assert statements in Verus exec code do not need proof blocks.
not rated 10 23d ago A 106 tokens
original MIT
Cursor rule Cursor
The pattern assume(false); diverge() in a JoinHandle::join() error arm is a valid and unavoidable Verus idiom, not a proof hole to fix.
not rated 10 23d ago A 400 tokens
original MIT
cargo-sync
76Cursor rule Cursor
Keep Cargo.toml in sync with file changes.
not rated 10 23d ago A 124 tokens
original MIT
Cursor rule Cursor
Classify Verus spec strengths from review-module-fn-impls JSON.
not rated 10 23d ago A 789 tokens
original MIT
fix-warnings
78Cursor rule Cursor
All Verus and Rust warnings and errors must be fixed.
not rated 10 23d ago A 76 tokens
original MIT
Cursor rule Cursor
Fork-join parallelism uses join() directly inside verus! with named closures. No externalbody wrappers.
not rated 10 23d ago A 594 tokens
original MIT
Cursor rule Cursor
Keep Ghost parameter calls in sync with trait signatures.
not rated 10 23d ago A 308 tokens
original MIT
Cursor rule Cursor
When AI thinks Verus can't do something, verify with experiments.
not rated 10 23d ago A 236 tokens
original MIT
Cursor rule Cursor
When user says "show me the corpse" or "leave the corpse", keep failing code visible.
not rated 10 23d ago A 212 tokens
original MIT
Cursor rule Cursor
Name return values and variables meaningfully, not generically.
not rated 10 23d ago A 0 tokens
original MIT
Cursor rule Cursor
No veruskeepghost in lib.rs or as duplicate function gates.
not rated 10 23d ago A 577 tokens
original MIT
Cursor rule Cursor
Never modify files in /projects/verus/.
not rated 10 23d ago A 143 tokens
original MIT
Cursor rule Cursor
Do not define functions inside other functions; keep helpers at module level.
not rated 10 23d ago A 0 tokens
original MIT
Cursor rule Cursor
Do not revert without asking; proof work requires human interaction.
not rated 10 23d ago A 195 tokens
original MIT
prefer-vstd
88Cursor rule Cursor
Strongly prefer using vstd functions, lemmas, and types over defining new ones.
not rated 10 23d ago A 283 tokens
original MIT
Cursor rule Cursor
Do not rename parameters or types from user sketches without asking.
not rated 10 23d ago A 181 tokens
original MIT
proof-holes
90Cursor rule Cursor
Use veracity-review-proof-holes for ANY proof hole query.
not rated 10 23d ago A 364 tokens
original MIT
rename-files
91Cursor rule Cursor
Use mv to rename files, not read/write/delete.
not rated 10 23d ago A 89 tokens
original MIT
run-verus
92Cursor rule Cursor
Default command to run Verus verification.
not rated 10 23d ago A 388 tokens
original MIT
Cursor rule Cursor
When AI needs a lemma, search for it using veracity-search.
not rated 10 23d ago A 595 tokens
original MIT
style-review
94Cursor rule Cursor
Verus style review tool and warnings.
not rated 10 23d ago A 667 tokens
original MIT
Cursor rule Cursor
The Usual Suspects" means search vstd, examples, VerusCodebases, and vstdplus.
not rated 10 23d ago A 218 tokens
original MIT
Cursor rule Cursor
Threading is not an excuse for externalbody. Parallel algorithms should verify structurally.
not rated 10 23d ago A 519 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: