$ loading_
Self-hosted Linear MCP with minimal fields to cut tokens and agent costs.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "linear-mcp-lean" yet — see the docs or source repo.
Use linear-mcp-lean to get issues assigned to me in the current cycle. Return only title, status, priority, and due date, sorted by due date ascending.
A compact issue list with only the requested fields, optimized for quick review and lower token usage.
Use linear-mcp-lean to pull Linear issues marked as blockers from the last two weeks. Keep only ID, title, assignee, and related project for downstream AI risk analysis.
Minimal issue context suitable for downstream agent analysis while keeping token costs under control.
With linear-mcp-lean, fetch in-progress and completed issues for a Linear project. Return only title, status, and updated time, then create a project progress summary.
First returns lean issue data, then produces a concise progress summary suitable for weekly updates or standups.
Connect Linear to AI via MCP for querying and managing project tasks.
Connect to Linear to search, create, update, and comment on work items.
Read Linear teams, cycles, and issues, and search issues via API.
Access, search, and manage Linear issues, projects, and comments.
Connect to Linear to manage issues, comments, and teams efficiently.
Compile and verify Lean 4 proofs and theorems through MCP tools.