开源 AI 终端助手 Pragmatic AI Shell 发布 v1.0：多模型热切换 + 免 JRE 原生二进制-低调大师

开源 AI 终端助手 Pragmatic AI Shell 发布 v1.0：多模型热切换 + 免 JRE 原生二进制

2026-09-03 6

用自然语言驱动终端的开源工具 Pragmatic AI Shell（smartcli） 正式发布 v1.0：你说人话，它生成 shell 命令，安全过滤后确认执行，全程可审计。

一个"用 AI 造出来"的 AI 终端：这个项目本身就是一次 AI 编程实践——从架构设计到代码实现主要由 AI 完成，人负责把关方向与验收。用 AI 打造一个"帮你对 AI 说人话、把意图翻译成命令"的终端，多少有点自我指涉的趣味。

🤖 > 找出占用 8080 端口的进程
➜ 建议执行: lsof -i :8080
确认执行？[y/N] y
java    12345 user ... TCP *:http-alt (LISTEN)
🤖 > 杀掉这个进程        # 模型自动接住上一轮输出的 PID
➜ 建议执行: kill -9 12345

v1.0 关键特性

🔀 多模型接入与管理：config.yaml 用 llm.profiles 声明多个模型，/setup 向导交互式增删模型、设默认；/model switch <id> 运行中热切换（不清空上下文）、/model check 探针健康状态。兼容任意 OpenAI 协议（DeepSeek / OpenAI / 智谱 / Ollama 本地模型）。
⚙️ 免 JRE 原生二进制：基于 GraalVM Native Image 编译为独立机器码，目标机无需安装 JDK/JRE，启动快、内存占用低。
📦 跨平台分发：macOS 一键打包拖拽安装的 DMG（Apple Silicon M1~M5 全系列原生支持）；Linux amd64 经 Docker 交叉构建，产出 glibc ELF 二进制，适配 Ubuntu / Debian / CentOS。
🚢 自包含，随容器 / 虚拟机走：单个静态二进制不依赖运行环境，可直接塞进容器镜像、或拷进虚拟机分发运行，无需在目标机预装 Java。
🌐 环境感知：启动采集本机 OS / Shell / 已装工具及版本注入 LLM，生成的命令只用真实存在的工具、按版本选语法。
⏱️ 命令默认不限时 + Ctrl+C 中断：长任务（下载 / 构建 / tail -f）不再被超时拦腰斩断，执行中按 Ctrl+C 强杀整棵进程树并回到提示符，会话不退出。

一以贯之的核心能力

自然语言语义模式、三层安全防线（模型自审 → 黑名单 / 风险分级 → 危险命令二次确认）、多轮对话上下文（含直通 ! 命令、密钥自动脱敏）、cd / export 等状态命令 REPL 级持久生效、全量审计日志、真终端体验（Tab 补全、ssh / vim 直连）。未配置 LLM 时自动降级为纯直通终端，没有 API Key 也能当普通终端用。

快速上手

git clone https://github.com/pragmatic-lee/pragmatic-ai-shell.git
cd pragmatic-ai-shell && bin/smartcli        # 源码运行（JDK 17+）

mvn package -Pnative -DskipTests             # 编译免 JRE 原生二进制
./bin/build-dmg.sh                           # macOS：打成拖拽安装 DMG
./bin/build-linux-amd64.sh                   # Linux：Docker 内交叉构建 amd64

macOS 用户也可直接下载 DMG，拖入 Applications 双击即用（免 Java 环境）。

项目完全开源，欢迎体验与共建：

仓库：https://github.com/pragmatic-lee/pragmatic-ai-shell
国内镜像：https://gitee.com/wizard-lee/pragmatic-ai-shell
v1.0.0 发行版：https://gitee.com/wizard-lee/pragmatic-ai-shell/releases/tag/v1.0.0

微信关注我们

原文链接：https://www.oschina.net/news/502288

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

李飞飞旗下 AI 实验室 World Labs 发布 Atlas：从几张照片重建 3D 世界

李飞飞创立的 World Labs 发布了 Atlas，一个从零预训练的多模态空间智能大模型。你可以给它几张照片，它能生成从任意角度观看的连续视频；给它一段手机拍摄的视频，它能重建出完整的 3D 场景，让机器人在里面模拟导航。核心架构是「multimodal autoregressive diffusion transformer」——这个术语拆开来看，autoregressive 意味着它像 LLM 一样逐个 token 生成，diffusion 意味着这些 token 通过扩散模型解码为像素。关键区别在于，它的输入不是纯文本，而是「空间上下文」—&md...

2026-09-02

6

工厂质检是 AI 落地制造业最成熟的场景之一。产线上的划痕、裂纹、装配缺陷，机器视觉效率与准确度远高于人工。可要真正在工厂里铺开，事情没那么简单。缺陷检测高度定制，每一种工件、每一道工艺的缺陷都不一样，模型要重新采数据、标样本、训练、部署，走完这套流程，短则几个月，长的要折腾一年以上。把模型送进产线的过程，卡点往往不在模型本身。现场数据要有人采集整理，缺陷样本要一张张标注，训练好的模型要适配产线上的实时推理环境，部署还依赖大量代码开发。这一整套流程，是工业视觉 AI 从实验场走向实践场的最后一公里。国产嵌入式操作系统 RT-Thread 睿赛德，在 2026 上海开源软件应用创新大赛的「A...

2026-09-03

7

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。