Baixar Proma 0.12.0 per a Windows

Proma v0.12.0
对比基准：v0.11.1
这一版最大的变化是引入了**定时任务（Automation）**系统——让 Proma 能够周期性地自动执行 Agent 任务，无人值守地帮你跑日报、查 PR、盯数据源。除此之外还补齐了工作区重命名、项目删除确认、设置页 built-in skill 分组，并把后台任务完成自动唤醒、Bridge 长连接自愈等一批稳定性改进一并带上。
新功能
- 定时任务（Automation）系统（测试版） — 全新的周期性任务调度能力。点击侧边栏的「自动任务」按钮进入全屏管理视图，列表按「启用中 / 已暂停」分组，每行展示状态灯、任务名、prompt 摘要和调度文案，hover 时浮出「立即运行一次 / 删除」操作。支持三种调度模式（固定间隔 interval、每天 daily、每周 weekly），可配置权限模式、模型和任务描述。底层是一个 30 秒 tick 的后台调度器，复用同一会话执行、失败自动退避、连续失败自动暂停。任务数据持久化在 ~/.proma/automations.json，每次运行的历史记录可点击直接跳转回对应会话。除了手动创建，你也可以直接在 Agent 对话里说「帮我每 5 分钟检查一次 PR」，Proma 会自动识别意图并弹出任务卡片
- 自然语言创建定时任务 — Agent 收到周期性任务诉求时，通过结构化输出协议自动创建 Automation，无需手动填表。意图识别走「DeepSeek + Anthropic + 关键词启发式」三级 fallback，关键词清单覆盖「定时」「自动」「每隔」等常见说法。同时把 Proma Automation 暴露为 Agent 的 MCP 工具，命令处理从隐藏注释升级为带类型的工具调用，每次定时执行都会开一个全新会话，过期的 run-now id 会显式报错
- 定时任务支持飞书通知 — 任务执行完成后可将结果推送到飞书，跑批结果不必盯着 Proma 也能第一时间收到
- 定时任务编辑器升级为 Markdown 富文本 — 任务 prompt 输入框从普通 textarea 换成项目统一的 Markdown 富文本编辑器，编辑时即可看到渲染效果，编辑器空白区域点击即聚焦，推荐引导文案常驻在编辑器上方
- 设置页将 Proma 自带 skill 归为 built-in 分组 — Skills 列表中，存在于 ~/.proma/default-skills/ 的内置 skill 单独归入 "built-in" 分组并标注 PROMA 标签，同时隐藏删除按钮避免误删。内部分组哨兵用 proma-built-in 命名，规避与用户安装的同前缀第三方 skill 产生 key 碰撞
- 工作区重命名 — 项目（工作区）三点菜单中新增「重命名」入口，可直接修改工作区名称
- 项目删除二次确认 — 删除项目前弹出确认对话框，并前置删除守卫：默认项目与最后一个项目不允许删除，避免误删后留下孤儿数据；索引先落盘再删目录，杜绝孤儿索引条目
- 后台任务 / Monitor 完成时自动唤醒 idle Agent — Agent 模式下 run_in_background 后台任务完成、或 Monitor 命中事件时，会自动唤醒已结束当前轮次的 Agent 续跑，无需手动再发一条消息。底层用 SDK Stop hook 观察在飞行的任务，仍有任务时保持消息通道开启，并加 1 小时空闲超时兜底释放子进程；软空闲态下仍可继续注入消息，唤醒输出独立成块不会与上一轮混在一起
- Bridge 长连接自愈 — 飞书 / 钉钉 / 企业微信的 Bridge 长连接在系统息屏、唤醒、解锁等网络短暂抖动场景下可能卡在错误状态。新增的 Bridge Registry 自愈机制会在系统恢复 / 解锁后重启已启用的 bridge，并周期性恢复被标记为不健康的连接
- Chat 侧边栏对齐 Agent 布局 — Chat 模式侧边栏的列表结构与 Agent 模式对齐：可点击的置顶导航行改为静态的「置顶 / 历史」分区，会话行间距、选中态、流式输出时的左侧色条都与 Agent 会话行保持一致
Bug 修复
- 修复 LaTeX 原生分隔符无法渲染数学公式 — 模型按 LaTeX 习惯输出 \(...\) 行内公式或 \[...\] 块级公式时，聊天界面此前会把它们当作裸文本显示（如 [ EV = \sum p_i u_i ]），而不是渲染成公式。根因是 react-markdown 走 CommonMark 规范，会把这四个反斜杠括号当作转义吃掉，导致 remark-math 识别不到（它只默认认 $...$ 和 $$...$$）。现在在 markdown 解析前先把 \(...\) 规范化为 $...$、\[...\] 规范化为 $$...$$，让既有的 remark-math + rehype-katex 链路直接生效，不引入新依赖；代码块和内联代码中的字面量会被占位符保护、不受影响，推理折叠区也走同一规范化
- 侧边栏置顶项过多时不再挤掉下方内容 — 置顶区此前没有高度上限，置顶会话一多就会把下方的 Chat 历史 / Agent 项目列表整个顶出可视区。现在置顶区高度约束在 6 行左右，超出则在区内滚动，下方历史始终可见
- 修复定时任务草稿自动保存的重复创建竞态 — 新建任务的自动保存流程在计时器保存 / 关闭保存 / 立即运行保存重叠时，可能对同一个无 id 草稿调用多次 createAutomation 导致重复创建。现已将草稿持久化串行化，第一次 create 返回 id 前不会再触发第二次
- 修复 Agent 项目下选中会话项缺少背景色 — AgentSessionItem 的选中态此前只有左侧一条 3px 指示条，背景与未选中项完全一致、极易被忽略。现补上 bg-foreground/[0.08] 选中背景，利用透明度合成自动适配深浅主题；blocked / running / completed 等带 accent 的状态也顺带补齐了选中背景
- 优化定时任务入口在深色主题下的选中态可见性 — 列表项 hover/focus 背景透明度提升、操作按钮基础可见度提升；侧边栏入口选中态改用 accent-foreground，修复苍穹暮色 / 森息夜语 / 莫兰迪夜等深色主题下图标和数字不可见或颜色错乱的问题
- 空状态隐藏重复的「新建定时任务」按钮 — 定时任务列表为空时，中心已有一个引导按钮，标题栏右上角的同名按钮会造成重复，现仅在已有任务时才渲染右上角按钮
- 修复三点菜单关闭动画期间浮层漂移 — 顺带拉长了迷你地图的触发延迟，减少鼠标掠过时的误触
- 长 prompt 场景限制 AskUserQuestion — 避免在超长输入下频繁打断用户