rmf
49Cursor rule Cursor
RMF means read the file being worked on before doing anything.
not rated 10 1mo ago A 79 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
Always show complete terminal output in responses, never just summarize.
not rated 10 1mo ago A 117 tokens
original MIT
Cursor rule Cursor
Always qualify function/type names with chapter and file — many names are duplicated across modules.
not rated 10 1mo ago A 355 tokens
original MIT
Cursor rule Cursor
Show AI reasoning in response text.
not rated 10 1mo ago A 93 tokens
original MIT
sketch
53Cursor rule Cursor
When user says "sketch", show proposed code in a code block - do not modify files.
not rated 10 1mo ago A 166 tokens
original MIT
step-n
54Cursor rule Cursor
STEP n limits iterations before stopping.
not rated 10 1mo ago A 146 tokens
original MIT
Cursor rule Cursor
Limit markdown table cell length to stay readable in Cursor chat.
not rated 10 1mo ago A 212 tokens
original MIT
Cursor rule Cursor
Tables must include chapter number and full file name columns.
not rated 10 1mo ago A 182 tokens
original MIT
Cursor rule Cursor
Present tables in Cursor chat by default; write md file only when asked.
not rated 10 1mo ago A 147 tokens
original MIT
Cursor rule Cursor
Display todos and wait for user approval before executing them.
not rated 10 1mo ago A 102 tokens
original MIT
whats-next
59Cursor rule Cursor
When the user says "WN" or "What's Next".
not rated 10 1mo ago A 69 tokens
original MIT
Cursor rule Cursor
When creating markdown files (.md), include this block at the top so tables and content fill the browser window.
not rated 10 1mo ago A 171 tokens
original MIT
Cursor rule Cursor
Role - senior Rust engineer focused on clarity and pragmatic use of the type system.
not rated 10 1mo ago A 399 tokens
original MIT
Cursor rule Cursor
Rust project source and test layout.
not rated 10 1mo ago A 60 tokens
original MIT
Cursor rule Cursor
Threaded tests need timeouts.
not rated 10 1mo ago A 123 tokens
original MIT
may-vs-can
64Cursor rule Cursor
Use 'may' vs 'can' correctly in comments and documentation.
not rated 10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
No horizontal dividers in code comments.
not rated 10 1mo ago A 107 tokens
original MIT
Cursor rule Cursor
Do not name functions helper, inner, doit, or similar meaningless names.
not rated 10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
Do not add comments that merely restate what the function name already says.
not rated 10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
Do not create wrapper functions that merely forward to another function.
not rated 10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
Role - clear, grammatical, non-redundant prose in comments and docs.
not rated 10 1mo ago A 359 tokens
original MIT
Cursor rule Cursor
Prefer use imports over verbose crate:: paths.
not rated 10 1mo ago A 207 tokens
original MIT
Cursor rule Cursor
Order use statements as std, vstd, crate types, chapter modules, macros.
not rated 10 1mo ago A 284 tokens
original MIT
Cursor rule Cursor
When implementing parallel (Mt) algorithms in Verus, do NOT assume.
not rated 10 1mo ago A 793 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: