Cursor rule Cursor
Handle trigger warnings using Verus automatic proposals.
not rated 10 23d ago A 137 tokens
original MIT
update-verus
98Cursor rule Cursor needs its repo
How to update and rebuild Verus; use vargo not cargo.
not rated 10 23d ago A 191 tokens
original MIT
Cursor rule Cursor
Collection of Verus codebases at /projects/VerusCodebases/.
not rated 10 23d ago A 71 tokens
original MIT
verus-examples
100Cursor rule Cursor
Verus examples at /projects/verus/examples/.
not rated 10 23d ago A 45 tokens
original MIT
verus-guide
101Cursor rule Cursor
Official Verus tutorial and reference at verus-lang.github.io.
not rated 10 23d ago A 53 tokens
original MIT
verus-locations
102Cursor rule Cursor
Where to find vstd and test code in Verus.
not rated 10 23d ago A 192 tokens
original MIT
verus-tests
103Cursor rule Cursor
Verus proof tests at /projects/verus/source/rustverifytest/tests/.
not rated 10 23d ago A 57 tokens
original MIT
wrap-vs-specify
104Cursor rule Cursor
When to use externaltypespecification vs wrapper struct for Verus specs.
not rated 10 23d ago A 0 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: