Pragma
基于Rust和Tauri构建的开源桌面IDE，将代码编辑器、编码Agent与浏览器集成于同一工作空间，支持复用已有编码CLI及并行Agent会话
时间轴 (近 90 天)
Pragma 是一款基于 Rust 和 Tauri 构建的桌面 IDE，核心卖点是让代码编辑器与编码 Agent 共享同一个工作空间。
Pragma 直接复用用户已安装的编码 CLI，不要求用户注册新账号或购买新订阅。
Pragma 为每个新会话分配独立的 git work tree，以隔离并行 Agent 的改动，避免冲突和覆盖。
Pragma 提供编辑器视图（Command+Shift+E 切换），内置语言服务器，支持悬停查看类型、跳转定义等基础能力，以及终端和 git 视图。
Pragma 明确强调自己 built with Rust and Tauri, not Electron。
Pragma 提供十余种主题，可按语言管理语言服务器；支持接入任意编码 CLI 或自带 API key，密钥存放在系统 keychain 而非明文配置文件。
Pragma 本身免费且开源，在 GitHub 上可直接下载。
官方演示中，给笔记应用 Lumen 添加“输入即筛选”搜索栏的任务真实运行时间不到一分钟。
Pragma 的 review pane 在任务完成后列出所有被改动的文件，点击可跳转到具体代码位置。
全部知识事实 (9)
Pragma 的 review pane 在任务完成后列出所有被改动的文件，点击可跳转到具体代码位置。
50%待验证Pragma 直接复用用户已安装的编码 CLI，不要求用户注册新账号或购买新订阅。
50%待验证Pragma 为每个新会话分配独立的 git work tree，以隔离并行 Agent 的改动，避免冲突和覆盖。
50%待验证Pragma 提供编辑器视图（Command+Shift+E 切换），内置语言服务器，支持悬停查看类型、跳转定义等基础能力，以及终端和 git 视图。
50%待验证Pragma 明确强调自己 built with Rust and Tauri, not Electron。
50%待验证Pragma 提供十余种主题，可按语言管理语言服务器；支持接入任意编码 CLI 或自带 API key，密钥存放在系统 keychain 而非明文配置文件。
50%待验证Pragma 本身免费且开源，在 GitHub 上可直接下载。
50%待验证Pragma 是一款基于 Rust 和 Tauri 构建的桌面 IDE，核心卖点是让代码编辑器与编码 Agent 共享同一个工作空间。
50%待验证官方演示中，给笔记应用 Lumen 添加“输入即筛选”搜索栏的任务真实运行时间不到一分钟。
50%