$ loading_
为 Linear 提供精简字段查询的自托管 MCP 接口，降低大模型会话的 token 与成本。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"linear-mcp-lean" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请通过 linear-mcp-lean 获取当前迭代中分配给我的任务，只返回任务标题、状态、优先级和截止日期，并按截止日期升序整理。
返回精简后的任务列表，仅包含所需字段，便于快速查看且减少 token 消耗。
使用 linear-mcp-lean 拉取最近两周内标记为 blocker 的 Linear 工单，只保留编号、标题、负责人和关联项目，供后续 AI 代理分析风险。
输出适合代理继续处理的最小化工单上下文，兼顾分析需要与成本控制。
通过 linear-mcp-lean 获取某个 Linear 项目的进行中与已完成任务，只返回标题、状态和更新时间，然后生成一段项目进展摘要。
先得到精简任务数据，再产出简洁的项目进展总结，适合周报或站会使用。
通过 MCP 将 Linear 项目管理接入 AI，帮助查询、创建和更新任务协作流程。
连接 Linear 管理议题、团队与项目，支持检索、创建、更新和评论协作。
通过 Linear API 只读查询团队、迭代与问题并搜索工单
连接 Linear 管理议题、项目与评论，并支持搜索和完整增删改查
连接 Linear 管理问题、评论与团队列表，提升研发协作效率。
可通过 MCP 编译并校验 Lean 4 数学证明与定理。