博客
- Mira 下一阶段草案(二):从能力、微应用到 Agent 的工作世界
记录 2026 年 9 月 8 日第二次产品草案讨论:审批从逐次确认转向能力边界、Conversation 独立工作空间、Capability 与 Tool/MCP 解耦、微应用平台、浏览器能力、记忆与洞见,以及 Agent 与看板、Forge 之间逐渐出现的工作流关系。
- Mira 下一阶段草案(一):让 Agent 成为默认,也让 Mira 真正走向外部世界
记录 2026 年 9 月 2 日一次尚未完成的架构讨论:Chat 归一到 Agent、工具治理、触界、MCP、手机与桌面的能力关系,以及仍未展开的拾言与 Forge。
- 这一周,Mira 开始需要一个组织
当四五个项目同时推进,规范、网关、任务卡与 Control Room 不再是工程洁癖,而开始成为 Mira 继续生长的生存工具。
- Mira Agent 现在到底是什么
在几轮 AgentGraph、Harness、Skill Agent 与 SubAgent 施工之后,重新说明 Mira 当前真实的运行时、委派边界和已知偏差。
- Mira 的工具现在到底是什么
从六月的固定四域工具表走到今天的动态公共工具面,重新说明 Registry、Tool Exposure、Approval 与 Evidence 的真实边界。
- 从旧站到 npm:MiraDocs 的一次完整工程闭环
记录我们如何把旧文档站中纠缠的内容发现、Frontmatter、静态 SEO 与发布逻辑抽成公共包,并完成真实消费者迁移、npm 首发与可信发布闭环。
- Mira 的微应用现在到底是什么
当一个页面同时容纳 Studio、Runtime、Tool、Skill 和企业集成时,我们怎样判断一项微应用能力真正做到了哪一层。
- 把 Ubuntu 装进 D 盘:从 Hyper-V、Tailscale 到 Docker 的完整工程现场
记录一台 Windows 11 主机如何用 Hyper-V 在 D 盘建立长期 Ubuntu Docker 实验机,并完成网络、SSH、Tailscale、Docker Engine 与 XX-Net 代理闭环。
- 子应用接入文枢:从独立工作台到受治理的 Skill Agent
记录文枢接入 Mira Agent 的真实施工:如何划分主从所有权、隔离私有 Runtime、恢复审批现场,并把真实产物交回对话。
- Mira Engineering Control Plane:从 Issue 派工到证据回流
把 Mira 当前的台账、Agent、Git、PR、测试、CI、Review、发布与组织治理整理成一套可落地的工程控制平面,并明确哪些已经运行、哪些仍是下一阶段协议。
- Agent 说“完成了”,为什么还不够?
GitHub Security Lab 的自动模糊测试 Agent 把覆盖率、停机条件和持久状态写进执行循环,也再次说明:Agent 的完成判断必须由证据约束,而不能只靠模型自述。
- Mira 稳定性周报:9 月 18–25 日
记录 2026 年 9 月 18 日至 25 日 UIChat Mira 在 Desktop、Mobile、Docs 与 Control Room 的稳定性迭代、回归风险和未闭环工作。
- Mira 稳定性周报:9 月 11–18 日
记录 2026 年 9 月 11 日至 18 日 UIChat Mira 在 Desktop、Mobile、Docs 与 Control Room 的稳定性迭代、回归风险和未闭环工作。
- Agent 为什么会在第十轮忘掉第一轮的边界
Anthropic 的真实越界事故说明,模型能记住规则,不等于规则能约束执行;Mira 的实践则把权限判断放回每一次具体动作。
- Mira 稳定性周报:从个人仓库走进组织工程
记录 2026 年 9 月 4 日至 11 日 UIChat Mira 的稳定性迭代:Organization 迁移、Mobile 双链路、远程 Agent、Control Room,以及仍未闭环的 Relay 与拾言问题。
- 八月开发检讨:楼是交了,施工队得整顿一下
从 Mira Desktop 与 Mobile 的八月 commit 回看一次 AI 施工月:Relay-first、跨仓库返工、任务台账、Mac 兼容,以及为什么 Agent 不能给自己签字。
- 把 AI Code Review 接成一个真正的 Agent Loop
用 GitHub Actions、OpenCode Go、项目级 Review Skill、可信版本边界与确定性 Gate,把 Builder → Reviewer → Findings → Builder 接成可重复、可校验、可逐步放行的工程循环。
- 全球民间开源智能体浪潮:从框架热到基础设施战争
基于 2023—2026 年全球开源智能体项目的观察,记录开发者、企业与政府将如何被 Agent 重新塑形。
- 备孕全景评估:从一份问卷到可交付的对话报告
记录备孕评估 Skill 的完整施工:如何把问卷改造成温和访谈、保存结构化证据、生成十维报告,并处理评分、隐私、PDF 与预览边界。
- 让 Codex 用 Remotion 做视频:方向对了,审美还是差得不行
记录一次用 Remotion 和 Codex 制作 Mira 产品介绍片的完整施工过程:从电子相册、动态 PPT,到建立视觉契约、逐帧整改和最终停止。
- 从能跑到不乱跑:Mira AgentGraph 是怎样被真实问题逼出来的
从 UIChat Mira AgentGraph 的几轮重构与争论出发,讨论 Planner、Harness、工具、证据与恢复机制为什么应该由真实失败逐层逼出来。
- Agent 留下了日志,为什么还不能证明它做过什么?
Agent 工程正在从“记录执行过程”走向“让执行证据可以独立验证”;这也暴露出 Evidence、审计日志与真正可验证运行事实之间的边界。
- Mira 九月开发回顾:从组织化到产品验收
九月的 Mira 没有换方向,却开始真正组织化;任务卡、质量门和真人烟测也暴露出一个更难的问题:契约正确,并不等于产品正确。
- 批准了一条命令,不等于控制住它接下来做的一切
NVIDIA OpenShell 把 Agent 权限控制推进到工作负载之外,也照出了一个容易忽略的边界:审批一次调用,与约束它启动的进程、网络和凭证并不是同一件事。
- 当 Agent 可以远程下载“技能”,它到底获得了什么?
MCP 正式定义 Skills 扩展后,一个关键边界变得更清楚:拿到一份技能说明,不等于拿到本机工具、脚本执行权或长期授权。
- 每一步都合法,Agent 为什么还是可能越界?
单次工具调用通过策略检查,并不意味着整段 Agent 会话安全;真正困难的是跨轮次、跨动作和累计副作用的治理。
- 你锁定了插件版本,运行的就真是那份代码吗?
Plugin4Shell 暴露了 Agent 插件供应链里一个容易被忽略的事实:记录了版本标识,不等于验证了最终执行的代码身份。
- 工具返回里写着“已批准”,Agent 该信吗?
当工具输出同时包含可信元数据和不可信正文时,Agent 必须知道“谁说的”和“系统状态是什么”究竟来自哪一层。
- 工作区边界通过了检查,为什么文件操作仍可能越界?
OpenAI 最近修复了一类符号链接竞态:路径检查本身正确,也不代表稍后真正打开或写入的仍是同一个文件。Mira 当前实现正好能说明这条边界为什么容易被低估。
- 当 Agent Runtime 变成 API,真正不能外包的是什么?
OpenAI 把 Codex harness 做成托管 Agents API 后,一个更基础的边界变得清楚:推理循环、执行环境和真正拥有权限的控制面,不应该被当成同一件事。
- Agent 的下一条命令,参数到底是谁写的?
Gemini CLI 最近的安全修复暴露了一个容易被忽略的边界:危险的不只是工具本身,还包括命令参数和构建文件究竟受谁影响。
- 从连接 GitHub 到真正协作:Mira 的微应用接入现场
记录 GitHub 微应用从授权入口走向完整协作能力的过程,以及权限、工具、网络与 Skill 之间最终形成的边界。
- 桥通了:Mira 第一次向外部专家递出一句话
2026年7月23日,Mira 的外部专家桥接完成真实冒烟:一句来自本地应用的话穿过浏览器边界抵达外部 AI,并带着回复回来。
- 让云端 Mira 把话递回本地:Remote MCP 与《倾城时光》直连实验
从 Cloudflare Worker 的桥接设想到 OpenAI Secure MCP Tunnel 实测,记录传输层已经接通、ChatGPT Plus 却仍被挡在自定义 App 入口之外的真实过程。
- 让生图和声音进入角色对话
生图与 TTS 不再只是独立工作台能力,它们现在可以在聊天消息完成后,沿着角色对话的上下文被保存、复用和展示。
- 让市场里的 MCP 真正成为 Agent 的一部分
从一次外部 MCP 接入工作出发,记录市场、能力、工具和 Agent 之间应该怎样建立一条清楚而可靠的连接。
- 生图和 TTS,终于成为可以被使用的能力
从用户视角介绍 Image Generation Studio 与 TTS Studio 的能力封装,以及服务商选择带来的实际变化。
- 洞见采集链路:先把一篇文章完整地送进系统
记录浏览器扩展如何处理文本、图片、授权和入库,以及为什么采集协议必须先于网站适配确定下来。
- 让 Mira 开口说话:一次 TTS Provider 的产品手记
从 Piper 到 GPT-SoVITS,把语音合成接进 Mira 的 Provider 体系。
- 洞见重建流程:从材料、证据到可复核结果
记录全量重建、文本分块、观点提取、证据关联和结果校验如何组成一条可重复执行的业务流水线。
- 把 Codex 变成可编排的工人:从 App Server 到自动审查闭环
从反复复制任务卡的疲惫出发,重新思考 Codex、Skill、worktree 与自动审查应该怎样组成一条可信的工程流水线。
- AI 审查终于能交代依据,但谁验证依据可信?
GitHub 开始暴露 AI Review 的上下文来源、审查强度和反馈处理率;这些可观测性进展,也暴露了审查依据的信任边界与指标误读问题。
- 模型变强之后,Agent 的编排为什么可能成为负担?
OpenAI 的 Linux 安全研究给出了罕见的编排对照数据:为旧模型准备的技巧层显著有效,对更强模型却只带来有限增益。Mira 应区分可删的认知脚手架与不能删的权限、执行和证据边界。
- Mira 稳定性周报:10 月 30 日—11 月 6 日
- GitHub 将默认拦截特权 PR 触发器,Mira 的 AI Review 会失声吗?
GitHub 将在 12 月 2 日默认阻断公开仓库的 pull_request_target,并在 11 月进行两次演练。Mira 三个公开仓库的 AI Review 仍依赖它,真正的风险是平台执行策略与仓库信任边界不再等价。
- 网站认出了 Agent,却不知道它替谁办事
Cloudflare 开始按个人 Agent 识别流量、设置站点访问策略,但认出代理程序不等于确认用户委托。对照 Mira 的两种浏览器运行时,真正缺失的是跨站点可验证的授权链。
- Agent 让 Git 也堵车了:并行写入不等于并行交付
OpenAI 为 Agent 并发开发重建 Git 服务,证明源码仓库也会成为吞吐瓶颈。但 Mira 当前更该警惕的是分支快照、审查 SHA 与集成权力被混为一谈。
- Agent 不缺更多上下文,缺的是能核对的关系
GitLab Orbit 正式发布,把代码、任务、流水线和部署连接成可查询的上下文图。它提醒 Mira:跨仓库 Agent 的瓶颈不只是检索,而是关系、时效和权限如何被证明。
- 当网页里的文字试图指挥 Agent,安全扫描该检查什么?
GitHub 开始在 PR 中检查 Agent 的间接提示注入风险。真正值得研究的不是又多一个 AI 审查器,而是不可信资料如何穿过模型,最终触及工具执行权。
- AI 审查开始能批准 PR,绿灯到底代表什么?
GitHub 让 Copilot 的审查意见进入正式合并门禁,Mira 的实际审查运行时则坚持把模型判断、审批状态与产品验收分开。
- Mira 稳定性周报:10 月 2 日—10 月 9 日
- 把“牛马”做成一个工程系统:Mira External Worker 的设计、边界与证据链
从手机派工到可审查 Draft PR,复盘 Mira External Worker 如何把任务合同、权限边界、可信验证、结构化证据与可替换模型做成一条真实可运行的工程链路。
- 当 ChatGPT 终于摸到我的电脑:Remote Desktop Commander 与本地执行平面
从一次真实的 Mac 远程接入出发,讨论 Remote Desktop Commander 为什么值得关注,以及它对 Mira 的本地执行、MCP、移动端与权限设计意味着什么。
- Mira Next:未来正在发生
从能力、云、多智能体与组织化的交叉处,重新理解 Mira Next:它不是下一代版本,而是持续探索与持续精进。
- Mira 十月开发回顾:路太宽就是没有路
十月的 Mira 看起来推进了很多功能,实际更多时间花在云设施、运行时、跨仓库协作和 AI 工程基建上。方向没错,只是路铺得太宽,验证开始跟不上施工。
- Agent 能记住你的规矩,但谁允许它改规矩?
GitHub Copilot Memory 正式可用,Dreaming 开始后台整理记忆并提出规则文件修改;Mira 的真实记忆实现提醒我们,记住事实、提出建议与取得执行权必须是三回事。
- Mira 稳定性周报:10 月 23 日—10 月 30 日
- 手机和电脑同时控制一个 Agent,究竟谁说了算?
微软开放的 Agent Host Protocol 把多端同步、断线恢复与动作仲裁变成独立的工程问题;Mira 的远程执行实践说明,能连上同一台电脑还不等于共享同一个可靠会话。
- Mira 稳定性周报:9 月 25 日—10 月 2 日
记录 2026 年 9 月 25 日至 10 月 2 日 UIChat Mira 在 Desktop、Mobile、Docs、Control Room 与 Agent Benchmark 方向的稳定性迭代、回归风险和未闭环工作。
- 把聊天窗口接到 Agent 之前:拆开 dsh-im 的消息、会话与授权边界
从 Windows DSH 安装和 dsh-im 5.7.0 源码出发,研究多渠道语义适配、会话归属、工具审批与可靠投递,并讨论 Mira 应当借走哪些边界。
- Agent 说做完了,谁有权收卡?从 dsh-taskboard 到 Mira Proof
拆解 dsh-taskboard 0.9.6 的任务状态机、认领权限、事务账本、Worktree 和执行证据,并说明为什么交付可信度需要独立于 Agent 的验收层。
- Agent 写完了代码,谁有权把它写进仓库?
GitHub Agentic Workflows 正式可用后,一个容易被忽略的边界变得具体:让 Agent 生成修改,与授予它真正写入仓库的权限,应该是两件事。
- 把 Hermes 搬上云之后:一夜飞书 Agent 实验的技术复盘
一次真实的 Hermes v0.22.5 自部署实验,验证飞书群聊与定时主动投递,复盘资源异常、身份边界、人格路由和长期运行成本。
- 当 Agent 把监控删掉,还把测试改成了“监控必须不存在”
OpenAI 披露的两起内部编码 Agent 事件显示,模型可能把普通任务要求解释成削弱安全监控的授权。Mira 的执行与审查边界,能帮助我们区分完成任务和维护不可随意改写的安全条件。
- 模型把别人的对话答给你:Agent 的记忆边界究竟止于哪里?
Cloudflare 披露的一次跨用户推理缓存泄漏提醒我们:本地记忆按用户隔离,不等于发往云端模型的上下文也获得了端到端隔离。Mira 的真实 Provider 与 Memory 设计恰好能说明这条边界。
- 网页把按钮变成工具,Agent 就能放心调用了吗?
WebMCP 正尝试让网页直接向 Agent 提供结构化操作,但网页声明“我能做什么”与用户授权“允许做什么”仍是两回事。Mira 的浏览器工具实践恰好揭示了这条边界。
- Agent 消耗了多少 token,为什么仍算不出它交付了什么?
GitHub 开始按客户端和自定义能力统计 Agent 使用量,但一次模型调用、一次任务执行和一次可验收交付仍是三种不同的事实。Mira 的外部 Worker 恰好提供了一个真实对照。
- Mira 稳定性周报:10 月 16 日—10 月 23 日
- Agent 离开聊天框以后,权限为什么必须跟运行模式一起变?
当 Agent 开始在用户离开后继续工作,权限就不能只回答“这个工具能不能用”;交互态、后台态与具体动作需要不同的授权边界。
- Mira 稳定性周报:10 月 9 日—10 月 16 日
- 当 Agent 有 60 个工具以后:我们为什么重新设计了 Mira 的工具发现
从 Tool Reachability 到 Progressive Resolution,再到一场最终没有给 Pi 打分的对照实验,记录 Mira 如何重新理解 Agent 的工具发现问题。
- Coding Agent 到底需要多少工具?我们把 Git、LSP、CodeGraph 都摆上桌之后
从 Git Tool、LSP、CodeGraph 到 Repo Map,记录 Mira 如何把 Coding Agent 的能力重新拆回 Tool、Environment、Context 与 Integration。