博客
- 让 Codex 用 Remotion 做视频:方向对了,审美还是差得不行
记录一次用 Remotion 和 Codex 制作 Mira 产品介绍片的完整施工过程:从电子相册、动态 PPT,到建立视觉契约、逐帧整改和最终停止。
- 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 的真实边界。
- Mira 的微应用现在到底是什么
当一个页面同时容纳 Studio、Runtime、Tool、Skill 和企业集成时,我们怎样判断一项微应用能力真正做到了哪一层。
- 把 Ubuntu 装进 D 盘:从 Hyper-V、Tailscale 到 Docker 的完整工程现场
记录一台 Windows 11 主机如何用 Hyper-V 在 D 盘建立长期 Ubuntu Docker 实验机,并完成网络、SSH、Tailscale、Docker Engine 与 XX-Net 代理闭环。
- 从旧站到 npm:MiraDocs 的一次完整工程闭环
记录我们如何把旧文档站中纠缠的内容发现、Frontmatter、静态 SEO 与发布逻辑抽成公共包,并完成真实消费者迁移、npm 首发与可信发布闭环。
- 子应用接入文枢:从独立工作台到受治理的 Skill Agent
记录文枢接入 Mira Agent 的真实施工:如何划分主从所有权、隔离私有 Runtime、恢复审批现场,并把真实产物交回对话。
- 备孕全景评估:从一份问卷到可交付的对话报告
记录备孕评估 Skill 的完整施工:如何把问卷改造成温和访谈、保存结构化证据、生成十维报告,并处理评分、隐私、PDF 与预览边界。
- 从连接 GitHub 到真正协作:Mira 的微应用接入现场
记录 GitHub 微应用从授权入口走向完整协作能力的过程,以及权限、工具、网络与 Skill 之间最终形成的边界。
- 桥通了:Mira 第一次向外部专家递出一句话
2026年7月23日,Mira 的外部专家桥接完成真实冒烟:一句来自本地应用的话穿过浏览器边界抵达外部 AI,并带着回复回来。
- 让云端 Mira 把话递回本地:Remote MCP 与《倾城时光》直连实验
从 Cloudflare Worker 的桥接设想到 OpenAI Secure MCP Tunnel 实测,记录传输层已经接通、ChatGPT Plus 却仍被挡在自定义 App 入口之外的真实过程。
- 从能跑到不乱跑:Mira AgentGraph 是怎样被真实问题逼出来的
从 UIChat Mira AgentGraph 的几轮重构与争论出发,讨论 Planner、Harness、工具、证据与恢复机制为什么应该由真实失败逐层逼出来。
- 让生图和声音进入角色对话
生图与 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 与自动审查应该怎样组成一条可信的工程流水线。
- Mira Engineering Control Plane:从 Issue 派工到证据回流
把 Mira 当前的台账、Agent、Git、PR、测试、CI、Review、发布与组织治理整理成一套可落地的工程控制平面,并明确哪些已经运行、哪些仍是下一阶段协议。
- Mira 九月开发回顾:从组织化到产品验收
九月的 Mira 没有换方向,却开始真正组织化;任务卡、质量门和真人烟测也暴露出一个更难的问题:契约正确,并不等于产品正确。
- 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 的稳定性迭代、回归风险和未闭环工作。
- Mira 稳定性周报:从个人仓库走进组织工程
记录 2026 年 9 月 4 日至 11 日 UIChat Mira 的稳定性迭代:Organization 迁移、Mobile 双链路、远程 Agent、Control Room,以及仍未闭环的 Relay 与拾言问题。
- 八月开发检讨:楼是交了,施工队得整顿一下
从 Mira Desktop 与 Mobile 的八月 commit 回看一次 AI 施工月:Relay-first、跨仓库返工、任务台账、Mac 兼容,以及为什么 Agent 不能给自己签字。
- Agent 留下了日志,为什么还不能证明它做过什么?
Agent 工程正在从“记录执行过程”走向“让执行证据可以独立验证”;这也暴露出 Evidence、审计日志与真正可验证运行事实之间的边界。
- 批准了一条命令,不等于控制住它接下来做的一切
NVIDIA OpenShell 把 Agent 权限控制推进到工作负载之外,也照出了一个容易忽略的边界:审批一次调用,与约束它启动的进程、网络和凭证并不是同一件事。
- Agent 说“完成了”,为什么还不够?
GitHub Security Lab 的自动模糊测试 Agent 把覆盖率、停机条件和持久状态写进执行循环,也再次说明:Agent 的完成判断必须由证据约束,而不能只靠模型自述。
- 当 Agent 可以远程下载“技能”,它到底获得了什么?
MCP 正式定义 Skills 扩展后,一个关键边界变得更清楚:拿到一份技能说明,不等于拿到本机工具、脚本执行权或长期授权。
- 每一步都合法,Agent 为什么还是可能越界?
单次工具调用通过策略检查,并不意味着整段 Agent 会话安全;真正困难的是跨轮次、跨动作和累计副作用的治理。
- 你锁定了插件版本,运行的就真是那份代码吗?
Plugin4Shell 暴露了 Agent 插件供应链里一个容易被忽略的事实:记录了版本标识,不等于验证了最终执行的代码身份。
- 工具返回里写着“已批准”,Agent 该信吗?
当工具输出同时包含可信元数据和不可信正文时,Agent 必须知道“谁说的”和“系统状态是什么”究竟来自哪一层。
- 工作区边界通过了检查,为什么文件操作仍可能越界?
OpenAI 最近修复了一类符号链接竞态:路径检查本身正确,也不代表稍后真正打开或写入的仍是同一个文件。Mira 当前实现正好能说明这条边界为什么容易被低估。
- 当 Agent Runtime 变成 API,真正不能外包的是什么?
OpenAI 把 Codex harness 做成托管 Agents API 后,一个更基础的边界变得清楚:推理循环、执行环境和真正拥有权限的控制面,不应该被当成同一件事。
- Agent 的下一条命令,参数到底是谁写的?
Gemini CLI 最近的安全修复暴露了一个容易被忽略的边界:危险的不只是工具本身,还包括命令参数和构建文件究竟受谁影响。
- Agent 为什么会在第十轮忘掉第一轮的边界
Anthropic 的真实越界事故说明,模型能记住规则,不等于规则能约束执行;Mira 的实践则把权限判断放回每一次具体动作。
- 把 AI Code Review 接成一个真正的 Agent Loop
用 GitHub Actions、OpenCode Go、项目级 Review Skill、可信版本边界与确定性 Gate,把 Builder → Reviewer → Findings → Builder 接成可重复、可校验、可逐步放行的工程循环。
- 全球民间开源智能体浪潮:从框架热到基础设施战争
基于 2023—2026 年全球开源智能体项目的观察,记录开发者、企业与政府将如何被 Agent 重新塑形。
- Mira 稳定性周报:10 月 2 日—10 月 9 日
- 把“牛马”做成一个工程系统:Mira External Worker 的设计、边界与证据链
从手机派工到可审查 Draft PR,复盘 Mira External Worker 如何把任务合同、权限边界、可信验证、结构化证据与可替换模型做成一条真实可运行的工程链路。
- 当 ChatGPT 终于摸到我的电脑:Remote Desktop Commander 与本地执行平面
从一次真实的 Mac 远程接入出发,讨论 Remote Desktop Commander 为什么值得关注,以及它对 Mira 的本地执行、MCP、移动端与权限设计意味着什么。
- Mira 稳定性周报:9 月 25 日—10 月 2 日
记录 2026 年 9 月 25 日至 10 月 2 日 UIChat Mira 在 Desktop、Mobile、Docs、Control Room 与 Agent Benchmark 方向的稳定性迭代、回归风险和未闭环工作。
- 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。