SolidCraft 深度拆解：AI 如何安全地驱动 3D CAD 内核

SolidCraft 深度拆解AI 如何安全地驱动 3D CAD 内核【免费下载链接】solidcraftSolidCraft: an open-source parametric 3D CAD application built in pure Rust. Desktop, web, and automation through MCP.项目地址: https://gitcode.com/gh_mirrors/so/solidcraftAI 代理不缺聪明缺的是做错了能不能被发现、能不能撤回。纯 Rust 参数化 3D CAD 项目 SolidCraft 把这两件事做成了工程制度批量操作全有或全无结果与解析解逐案对账连保存中途被杀进程都有专门的回归测试。本文以它为标准件拆解一套AI 可接管软件的判据再据此评估 PPT、视频、图像、EDA 谁更可能被重写。一、拆解SolidCraft 在做什么一句话定位把一切操作变成带稳定 id 的命令桌面、浏览器、CLI 与 MCP 服务器共用同一个命令面内核用参考测试逐案对账。关键事实数值语言 / 版本纯 Rustworkspace 版本 0.30.1Cargo.toml命令注册表567 条命令由注册表自动生成docs/features.md参考测试90/90 案例通过docs/oracle.md许可证MIT OR Apache-2.0运行形态桌面 app、浏览器、headless CLI、MCP 服务器最反直觉的细节不在建模端而在权限端MCP 服务器给 AI 配了一个文件系统沙箱细到连硬链接都要写进文档提示。docs/mcp.md 的规则是代理的读、写、删只限当前设计所在文件夹、本次运行中打开或保存过设计的文件夹最近 16 个与服务器自己的临时文件夹且文件夹必须严格位于家目录内隐藏文件.env、.git一律不可达..与符号链接先解析再比对Windows 下 UNC 路径、NUL之类的设备名、8.3 短文件名在执行任何系统调用之前就被拒绝。为什么重要多数项目给 AI 开后门时默认它反正跑在终端里而这里把代理默认摸不到~/.ssh当成验收条件。没有这条边界所谓让 AI 安全建模只是把磁盘交给了它。二、可信AI 做错之后会发生什么结论先行SolidCraft 的可信度来自四条机制——批次回滚、独立对账、参数合同与崩溃演练每条都有可点开的仓库证据。1. 批次要么全成要么全撤。解决的偶发写错参数问题是 LLM 调用的常态不是例外。docs/mcp.md 中batch工具按序执行、遇错即停已通过edit.checkpoint引擎检查点回滚之前所有步骤设计、活动草图与撤销历史恢复到批次开始前的原样。更值得注意的是验证内建调用方可以直接附带expect在命令执行后由服务器自动测量比对。一段真实的批次调用长这样{commands: [ {command: sketch.create, params: {plane: XY}}, {command: sketch.rectangle.two_point, params: {p0: [0,0], p1: [40,30]}}, {command: solid.extrude, params: {distance: 20}}], expect: {volume_mm3: 24000.0, tol: 0.002, bodies: 1}}预期体积 24000 mm³40×30×20容差 0.2%不符时工具结果直接标记isError模型立刻看见。代理不需要自觉检查检查被缝进了构建过程本身。2. 结果对账不依赖自己人。tests/oracle/ 的 90 个案例各有一份recipe.json与expected.json重放后比对实体数、体积、面积、质心、包围盒带reference.stl的案例还要比对表面采样距离。期望值来源只有两类69 个手推解析解公式写在 tools/oracle-analytic/21 个由 FreeCAD 1.1.4 的公开 Python API 独立构建文档特别声明没有期望值来自商业 CAD 产品。当前 90/90 通过0 个已知失败。白话翻译内核每次发版都要向两个外人交作业。3. 崩掉不丢件写坏不算数。ROADMAP 的 M13 条目写明原子保存临时文件、flush、rename任意时刻崩溃只留下旧文件或新文件每 5 分钟自动保存未存更改配套测试是保存 0.5 MB 设计时杀进程重复 25 次apps/solidcraft-cli/tests/kill_mid_save.rs。MCP 端还有参数合同--param-check strict下拼错的参数键文档举例unknown key operaton; did you mean operation?在发送前就被拒绝设计原封不动。三、推演这套做法能不能复制从上面四条机制里可以提炼出三条可迁移标准标准一操作可寻址——每个动作有稳定 id、参数化、能回放标准二内核可裁决——错误结果能被一个确定性的检查立刻抓出标准三状态可回滚——错误可撤销、崩溃可恢复。逐品类过一遍幻灯片 / PPT适合且是最容易复制的一个。结构强大纲→页→版式→内容、操作离散、渲染预览天然充当看得见的验证端工程量远小于 3D 内核。最大风险版式审美无法对账丑但没崩过不了expect式的自动检查。3D 查看 / 出图DXF、STEP 可视化适合。只读内核操作面小几何与量测天然可验证浏览器化WASM WebGL已有成熟先例。最大风险查看器商业模式薄重写收益撑不起一个团队。视频剪辑有条件。剪辑命令大多离散、可回滚、时长可校验缺的只是开放的命令接口ffmpeg 生态的编解码积累决定了没人会重写内核。最大风险素材 I/O 与渲染管线重确定性检查只能覆盖时间轴、覆盖不到像素质量。图像编辑 / PS有条件。选区、蒙版、调色正是 AI 强项但位图内核纯 Rust 重写工程量惊人且调错了缺乏 CAD 式的解析对账手段。更现实的路径是代理化而非重写。最大风险感知质量没有解析解可裁决这条标准天然缺一角。EDA暂时不适合重写。KiCad 的布线、仿真、DRC 是数十年积累全面重写 ROI 极低最可能的形态是复制控制通道 MCP 桥接让代理操作现有内核。最大风险版图校验依赖物理仿真确定性边界比几何模糊得多。品类可寻址可裁决可回滚判定幻灯片 / PPT强中版式无解析解强适合3D 查看 / 出图强强强适合视频剪辑中中强有条件图像编辑中弱中有条件EDA强中中暂不适合重写四、影响接下来会发生什么传统厂商视角能做云化、WASM 化与官方 AI 助手这是成本最低的防守做不到开放底层命令面——订阅制加认证生态的商业模式与让第三方 AI 直接操作内核激励错位开放命令面等于交出生态入口的垄断权。开源生态视角能做格式自主SolidCraft 以 STEP/IGES/3MF/STL/OBJ 为互操作层导入即可继续建特征、独立验证90 个案例全部来自解析解与 FreeCAD明确排除商业产品、干净的 MIT OR Apache-2.0 双许可做不到独自扛住 EDA、位图这类重内核的长期消耗只能挑确定性高、可验证性强的品类下手。回到标题的问题AI 如何安全地驱动一个专业内核SolidCraft 给出的模板式判断是——把每个动作命名把每次改动做成可回滚的一等状态把每个结果交给一个与实现无关的判官三者齐备的软件代理就能接手缺任何一条就只配得到一个演示视频。下一个被重写的品类会是谁取决于谁先把这三件事写进自己的 CI。核心结论3D 内核是错误可被体积守恒立刻抓出的确定性系统这正是 AI 接管的最低门槛也是图像、视频难以复制的优势。沙箱与参数合同证明开放给 AI 不等于放任权限边界本身就是产品的一部分。命令面会成为 AI 时代的行业接口谁开放得最彻底谁就握住代理工作流的入口。【免费下载链接】solidcraftSolidCraft: an open-source parametric 3D CAD application built in pure Rust. Desktop, web, and automation through MCP.项目地址: https://gitcode.com/gh_mirrors/so/solidcraft创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考