Pragma

Pragma is a desktop IDE built on Rust and Tauri, whose core selling point is letting the code editor and the coding Agent share the same workspace.

Pragma directly reuses the coding CLI the user has already installed and does not require users to register a new account or buy a new subscription.

Pragma allocates an independent git work tree for each new session to isolate the changes of parallel Agents and avoid conflicts and overwrites.

Pragma provides an editor view (toggled with Command+Shift+E), a built-in language server supporting basic capabilities such as hover type inspection and go-to-definition, as well as terminal and git views.

Pragma explicitly emphasizes that it is built with Rust and Tauri, not Electron.

Pragma offers more than ten themes and allows language servers to be managed per language; it supports connecting to any coding CLI or bringing your own API key, with keys stored in the system keychain rather than a plaintext configuration file.

Pragma itself is free and open source, and can be downloaded directly on GitHub.

In the official demo, the task of adding a 'type-to-filter' search bar to the note-taking app Lumen actually ran in under a minute.

Pragma's review pane lists all modified files after the task is completed; clicking one jumps to the specific code location.