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
cursorrules
04Cursor rule Cursor
IMPORTANT: This project has a knowledge graph. ALWAYS use the code-review-graph MCP tools BEFORE using Grep/Glob/Read to explore the codebase. The graph is faster, cheaper (fewer tokens), and gives you structural context (callers, dependents, test coverage) that file scanning cannot.
11 2d ago A 422 tokens
GPL-3.0
Cursor rule Cursor
Co-Mathematician canonical role routing for Cursor Agent.
7 3d ago A 303 tokens
original MIT
Cursor rule Cursor
Coding-agent-driven AI Co-Mathematician workspace rules.
7 3d ago A 732 tokens
original MIT