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
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