Cursor rule Cursor
PTT = proof time tests, RTT = run time tests.
not rated 10 23d ago A 85 tokens
original MIT
Cursor rule Cursor
Do not add sequential/parallel threshold checks; this is a textbook.
not rated 10 23d 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.
not rated 10 23d ago A 764 tokens
original MIT
Cursor rule Cursor
Use the project help-first scheduler, not raw thread::spawn.
not rated 10 23d ago A 0 tokens
original MIT
validate
29Cursor rule Cursor
Validation commands for Verus verification.
not rated 10 23d 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.
not rated 10 23d ago A 518 tokens
original MIT
Cursor rule Cursor
When proof-time tests are needed vs not.
not rated 10 23d ago A 0 tokens
original MIT
xlit-macros
32Cursor rule Cursor
Use XLit! macros (SetLit!, RelationLit!, etc.) to construct test values.
not rated 10 23d ago A 0 tokens
original MIT
Cursor rule Cursor
Branch names follow the pattern agentN/ (e.g., agent1/verusify-chap37).
not rated 10 23d ago A 490 tokens
original MIT
Cursor rule Cursor needs its repo
When merging agent worktree branches into main. Execute phases 0–5 in strict order. Do NOT skip phases. Do NOT reorder phases.
not rated 10 23d 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.
not rated 10 23d 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.
not rated 10 23d ago A 297 tokens
original MIT
Cursor rule Cursor
Always ask for confirmation before git commit; use git add -A.
not rated 10 23d ago A 166 tokens
original MIT
Cursor rule Cursor
Always ask for confirmation before git push.
not rated 10 23d ago A 84 tokens
original MIT
discuss
39Cursor rule Cursor
When user says "discuss", only chat - do not modify files.
not rated 10 23d ago A 133 tokens
original MIT
dot
40Cursor rule Cursor
DOT = Don't Over Think. Focus on the simple task the user asked for.
not rated 10 23d ago A 179 tokens
original MIT
Cursor rule Cursor
User edits in Emacs; read files before editing; avoid overwriting user changes.
not rated 10 23d ago A 254 tokens
original MIT
Cursor rule Cursor
When user says AFK, execute the full plan without stopping to ask.
not rated 10 23d ago A 221 tokens
original MIT
Cursor rule Cursor
Gate review-against-prose on changed inputs.
not rated 10 23d ago A 311 tokens
original MIT
implement
44Cursor rule Cursor
When user says "implement", proceed with code changes.
not rated 10 23d ago A 137 tokens
original MIT
Cursor rule Cursor
Index all tables and suggestions for easy reference.
not rated 10 23d ago A 169 tokens
original MIT
Cursor rule Cursor
Never run RTT and PTT test suites simultaneously.
not rated 10 23d ago A 132 tokens
original MIT
no-python
47Cursor rule Cursor
No Python scripts for anything reusable.
not rated 10 23d ago A 131 tokens
original MIT
Cursor rule Cursor
Put plans, proposed work tables, and similar outputs in plans/.
not rated 10 23d ago A 147 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: