Cursor rule Cursor
Cloud provider keys, Boost routing, Supercharge, free-model fallback, and workflow metrics.
MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet required. Star us for more!
Cursor rule Cursor
Cloud provider keys, Boost routing, Supercharge, free-model fallback, and workflow metrics.
Cursor rule Cursor
Developer mode gating for hidden frontend controls.
Cursor rule Cursor
Hybrid deployment contract — genericmode, hosted sandbox, proxy auth, web-team boundary, updater policy.
Cursor rule Cursor
Protects MOTO prompt wording and defines cross-cutting JSON response invariants.
Cursor rule Cursor
LaTeX renderer security, KaTeX parsing, and large-document rendering requirements.
Cursor rule Cursor
Core code-change, rule-update, workflow-mode, and proof-runtime invariants.
Cursor rule Cursor
Aggregator architecture, submitter-validator workflow, RAG behavior, and validation rules.
Cursor rule Cursor
Unified Aggregator-Compiler interaction model, workflow exclusivity, and shared controls.
Cursor rule Cursor
Compiler architecture, paper construction phases, validation, RAG, and Lean rigor flow.
Cursor rule Cursor
Autonomous research tiers, brainstorm-to-paper workflow, Tier 3, proof checks, and persistence.
Cursor rule Cursor
Project directory map, runtime roots, and purpose summaries for major source files.
Cursor rule Cursor
Canonical direct-injection and RAG offload policy for Aggregator, Compiler, and Autonomous modes.
Cursor rule Cursor
MOTO cross-field workflow testing and deep verification requirements.
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: