Cursor rule Cursor
Cloud provider keys, Boost routing, Supercharge, free-model fallback, and workflow metrics.
81 20d ago A 10,473 tokens
original MIT
Cursor rule Cursor
Developer mode gating for hidden frontend controls.
81 20d ago A 7 tokens
original MIT
Cursor rule Cursor
Hybrid deployment contract — genericmode, hosted sandbox, proxy auth, web-team boundary, updater policy.
81 20d ago A 7,292 tokens
original MIT
Cursor rule Cursor
Protects MOTO prompt wording and defines cross-cutting JSON response invariants.
81 20d ago A 1,079 tokens
original MIT
Cursor rule Cursor
LaTeX renderer security, KaTeX parsing, and large-document rendering requirements.
81 20d ago A 16 tokens
original MIT
Cursor rule Cursor
Core code-change, rule-update, workflow-mode, and proof-runtime invariants.
81 20d ago A 4,380 tokens
original MIT
Cursor rule Cursor
Aggregator architecture, submitter-validator workflow, RAG behavior, and validation rules.
81 20d ago A 3,419 tokens
original MIT
Cursor rule Cursor
Unified Aggregator-Compiler interaction model, workflow exclusivity, and shared controls.
81 20d ago A 2,754 tokens
original MIT
Cursor rule Cursor
Compiler architecture, paper construction phases, validation, RAG, and Lean rigor flow.
81 20d ago A 6,561 tokens
original MIT
Cursor rule Cursor
Autonomous research tiers, brainstorm-to-paper workflow, Tier 3, proof checks, and persistence.
81 20d ago A 29,953 tokens
original MIT
Cursor rule Cursor
Project directory map, runtime roots, and purpose summaries for major source files.
81 20d ago A 15,415 tokens
original MIT
Cursor rule Cursor
Canonical direct-injection and RAG offload policy for Aggregator, Compiler, and Autonomous modes.
81 20d ago A 19 tokens
original MIT
Cursor rule Cursor
MOTO cross-field workflow testing and deep verification requirements.
81 20d ago A 461 tokens
original MIT