Cursor rule Cursor
Do not add sequential/parallel threshold checks; this is a textbook.
not rated 10 1mo ago A 0 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
All APAS module functions must be specified in a trait and implemented via impl Trait for Type.
not rated 10 1mo ago A 764 tokens
original MIT
Cursor rule Cursor
Use the project help-first scheduler, not raw thread::spawn.
not rated 10 1mo ago A 0 tokens
original MIT
validate
28Cursor rule Cursor
Validation commands for Verus verification.
not rated 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.
not rated 10 1mo ago A 518 tokens
original MIT
Cursor rule Cursor
When proof-time tests are needed vs not.
not rated 10 1mo ago A 0 tokens
original MIT
xlit-macros
31Cursor rule Cursor
Use XLit! macros (SetLit!, RelationLit!, etc.) to construct test values.
not rated 10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
Branch names follow the pattern agentN/ (e.g., agent1/verusify-chap37).
not rated 10 1mo 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 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.
not rated 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.
not rated 10 1mo ago A 297 tokens
original MIT
Cursor rule Cursor
Always ask for confirmation before git commit; use git add -A.
not rated 10 1mo ago A 166 tokens
original MIT
Cursor rule Cursor
Always ask for confirmation before git push.
not rated 10 1mo ago A 84 tokens
original MIT
discuss
38Cursor rule Cursor
When user says "discuss", only chat - do not modify files.
not rated 10 1mo ago A 133 tokens
original MIT
dot
39Cursor rule Cursor
DOT = Don't Over Think. Focus on the simple task the user asked for.
not rated 10 1mo ago A 179 tokens
original MIT
Cursor rule Cursor
User edits in Emacs; read files before editing; avoid overwriting user changes.
not rated 10 1mo ago A 254 tokens
original MIT
Cursor rule Cursor
When user says AFK, execute the full plan without stopping to ask.
not rated 10 1mo ago A 221 tokens
original MIT
Cursor rule Cursor
Gate review-against-prose on changed inputs.
not rated 10 1mo ago A 311 tokens
original MIT
implement
43Cursor rule Cursor
When user says "implement", proceed with code changes.
not rated 10 1mo ago A 137 tokens
original MIT
Cursor rule Cursor
Index all tables and suggestions for easy reference.
not rated 10 1mo ago A 169 tokens
original MIT
Cursor rule Cursor
Never run RTT and PTT test suites simultaneously.
not rated 10 1mo ago A 132 tokens
original MIT
no-python
46Cursor rule Cursor
No Python scripts for anything reusable.
not rated 10 1mo ago A 131 tokens
original MIT
Cursor rule Cursor
Put plans, proposed work tables, and similar outputs in plans/.
not rated 10 1mo ago A 147 tokens
original MIT
Cursor rule Cursor
Generate a prioritized table of proposed fixes across chapters.
not rated 10 1mo ago A 477 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: