update-verus
97Cursor rule Cursor needs its repo
How to update and rebuild Verus; use vargo not cargo.
not rated 10 1mo ago A 191 tokens
original MIT
10Stars on the repository
108Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Cursor rule Cursor
Collection of Verus codebases at /projects/VerusCodebases/.
not rated 10 1mo ago A 71 tokens
original MIT
Cursor rule Cursor
Verus examples at /projects/verus/examples/.
not rated 10 1mo ago A 45 tokens
original MIT
verus-guide
100Cursor rule Cursor
Official Verus tutorial and reference at verus-lang.github.io.
not rated 10 1mo ago A 53 tokens
original MIT
verus-locations
101Cursor rule Cursor
Where to find vstd and test code in Verus.
not rated 10 1mo ago A 192 tokens
original MIT
verus-tests
102Cursor rule Cursor
Verus proof tests at /projects/verus/source/rustverifytest/tests/.
not rated 10 1mo ago A 57 tokens
original MIT
wrap-vs-specify
103Cursor rule Cursor
When to use externaltypespecification vs wrapper struct for Verus specs.
not rated 10 1mo 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: