CredVault
Dashboard

Pragma Download & Install

Pragma is the native desktop IDE for CredVault. Users install it on their own computer, sign in with a CredVault account, and then use the local terminal, editor, AI agent, Drive, secrets, and remote development tools from one app.

The download page is available at:

Example
/download

The download page is public. Users do not need a CLI command just to reach it.

The product page is available at:

Example
/pragma

Supported Operating Systems

Pragma is prepared for the three major desktop operating systems:

OSTypical installerWho should use it
macOS.dmgMacBook, iMac, Mac mini, Apple Silicon, or Intel Mac users
Windows.exeWindows 10 and Windows 11 users
Linux.AppImage now, package formats laterUbuntu, Debian, Fedora, RHEL, Arch, and other Linux users

macOS Install

The macOS build is distributed as a disk image.

  1. Download the .dmg file.
  2. Open it.
  3. Drag Pragma into Applications.
  4. Open Pragma.
  5. Sign in with the user's CredVault account.

If macOS warns that the app came from the internet, the user should open it from Finder and approve the prompt. For production distribution, the app should be signed and notarized so macOS trusts it cleanly.

Windows Install

The Windows build is distributed as an installer.

  1. Download the .exe.
  2. Run the installer.
  3. Follow the install steps.
  4. Open Pragma from the Start Menu or desktop shortcut.
  5. Sign in with the user's CredVault account.

Windows users may see a security prompt if the installer is not signed. For production distribution, the installer should be code-signed so SmartScreen can build trust for the app.

No command-line step is required for Windows installation.

Linux Install

Linux users should use the public AppImage release we publish today.

Universal Linux AppImage

Terminal
chmod +x Pragma-*.AppImage
./Pragma-*.AppImage

The AppImage is useful when the user does not want a system install or when their distribution does not match a package-manager install.

If we publish .deb or .rpm later, those will be linked from the same public download page.

Running Without System Installation (Portable Mode)

If users cannot or prefer not to run system installers (for example, if they lack Administrator permissions), they can still execute Pragma directly while preserving the application icon.

Windows (Portable Extraction)

  1. Extract Files: The Windows .exe installer is built with Inno Setup and can be unpacked without execution. Right-click PragmaSetup.exe, select 7-Zip (or a similar archive utility), and extract the package.
  2. Execute directly: Open the extracted directory and run the main pragma.exe binary.
  3. Application Icon: The icon is embedded directly inside the pragma.exe executable's resource header. Windows Explorer automatically displays it, and users can create a desktop icon by right-clicking pragma.exe and choosing Send to -> Desktop (create shortcut).

macOS (Running from mounted Disk Image)

  1. Mount DMG: Double-click the downloaded .dmg file to mount it.
  2. Execute directly: Double-click the Pragma.app bundle inside the mounted window. It will run without requiring dragging to /Applications.
  3. Application Icon: The icon is bundled inside the app container at Pragma.app/Contents/Resources/pragma.icns. macOS automatically displays the icon in the Finder and on the Dock when running.

Linux (AppImage Natively Portable)

  1. Make Executable: AppImages run without setup. Grant execution rights:
    Terminal
    chmod +x Pragma-*.AppImage
  2. Execute directly: Run ./Pragma-*.AppImage.
  3. Application Icon: The icon is integrated into the binary. To register a desktop shortcut icon manually, create a launcher file at ~/.local/share/applications/pragma.desktop pointing to the AppImage executable and its internal icon resources.

First Launch

On first launch, Pragma should guide the user through:

  1. Sign in or account connection.
  2. Default AI model choice.
  3. Agent autonomy level.
  4. Terminal and editor layout.
  5. Optional Drive, secrets, and remote server setup.

After this, the user lands inside the IDE with terminal, editor, AI tools, and account-connected features available.

What The Download Must Include

Each release should include:

  • macOS installer.
  • Windows installer.
  • Linux AppImage.
  • Version number.
  • Release notes.
  • Checksums.

Checksums help users and admins verify that downloaded files were not changed after release.