CredVault

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
Linuxx86_64 .AppImage64-bit x86 Linux systems with AppImage support

macOS Install

  1. Download the Pragma DMG from the Pragma download page.
  2. Open the DMG and drag Pragma into Applications.
  3. Eject the disk image, then open Pragma from Applications.
  4. Sign in with your CredVault account.

If macOS blocks the app with a security warning, do not bypass the warning. Contact CredVault support.

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

The current Linux download is an x86_64 AppImage. It is a single portable app file; no system installation or administrator permission is required.

Terminal
cd ~/Downloads
chmod +x ./Pragma-x86_64.AppImage
./Pragma-x86_64.AppImage

In a file manager, users can also open the file's Properties, enable Allow executing file as program, and double-click it. Some Linux distributions may require FUSE support. The current public release does not provide Debian or RPM packages.

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.