Pragma 是一款基于 Rust 和 Tauri 构建的桌面 IDE，核心卖点是让代码编辑器与编码 Agent 共享同一个工作空间。