Cursor rule Cursor
PTT = proof time tests, RTT = run time tests.
10 1mo ago A 85 tokens
original MIT
Cursor rule Cursor
Do not add sequential/parallel threshold checks; this is a textbook.
10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
All APAS module functions must be specified in a trait and implemented via impl Trait for Type.
10 1mo ago A 764 tokens
original MIT
Cursor rule Cursor
Use the project help-first scheduler, not raw thread::spawn.
10 1mo ago A 0 tokens
original MIT
validate
29Cursor rule Cursor
Validation commands for Verus verification.
10 1mo ago A 752 tokens
original MIT
Cursor rule Cursor
When the user asks for a "verusification table" or "verusification status" for a chapter, produce a structured review with the following sections.
10 1mo ago A 518 tokens
original MIT
Cursor rule Cursor
When proof-time tests are needed vs not.
10 1mo ago A 0 tokens
original MIT
xlit-macros
32Cursor rule Cursor
Use XLit! macros (SetLit!, RelationLit!, etc.) to construct test values.
10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
Branch names follow the pattern agentN/ (e.g., agent1/verusify-chap37).
10 1mo ago A 490 tokens
original MIT
Cursor rule Cursor
When merging agent worktree branches into main. Execute phases 0–5 in strict order. Do NOT skip phases. Do NOT reorder phases.
10 1mo ago A 3,346 tokens
original MIT
Cursor rule Cursor
After committing and pushing changes on main, run scripts/rebase-agents.sh to bring all agent worktrees up to date with main.
10 1mo ago A 320 tokens
original MIT
Cursor rule Cursor
When rebasing after a merge, only rebase the agents whose branches you just merged. Do not rebase agents that are still running.
10 1mo ago A 297 tokens
original MIT
Cursor rule Cursor
Always ask for confirmation before git commit; use git add -A.
10 1mo ago A 166 tokens
original MIT
Cursor rule Cursor
Always ask for confirmation before git push.
10 1mo ago A 84 tokens
original MIT
copy-icons
39Cursor rule Cursor
Make paths and URLs easy to copy.
10 1mo ago A 194 tokens
original MIT
discuss
40Cursor rule Cursor
When user says "discuss", only chat - do not modify files.
10 1mo ago A 133 tokens
original MIT
dot
41Cursor rule Cursor
DOT = Don't Over Think. Focus on the simple task the user asked for.
10 1mo ago A 179 tokens
original MIT
Cursor rule Cursor
User edits in Emacs; read files before editing; avoid overwriting user changes.
10 1mo ago A 254 tokens
original MIT
Cursor rule Cursor
When user says AFK, execute the full plan without stopping to ask.
10 1mo ago A 221 tokens
original MIT
full-paths
44Cursor rule Cursor
Show full on-disk paths when user asks.
10 1mo ago A 95 tokens
original MIT
Cursor rule Cursor
Gate review-against-prose on changed inputs.
10 1mo ago A 311 tokens
original MIT
implement
46Cursor rule Cursor
When user says "implement", proceed with code changes.
10 1mo ago A 137 tokens
original MIT
Cursor rule Cursor
Index all tables and suggestions for easy reference.
10 1mo ago A 169 tokens
original MIT
Cursor rule Cursor
Never run RTT and PTT test suites simultaneously.
10 1mo ago A 132 tokens
original MIT