Pragma IDE

Pragma is an agentic development environment built by CredVault. It's not just a terminal with a text editor bolted on — it's a full IDE built from the ground up around the terminal, with AI agents, a language server, code review, file sync, and more baked in natively.

Pragma is proprietary software. © CredVault. All rights reserved.

System Requirements

Before downloading, ensure your system meets these minimum requirements:

macOS

• OS Version: macOS 10.14 (Mojave) or later
• Architecture: Intel (x86_64) or Apple Silicon (M1/M2/M3)
• RAM: 4 GB minimum (8 GB recommended)
• Storage: 500 MB free space
• Internet: Required for first-time setup and AI agent features

Windows

• OS Version: Windows 10 Build 18362 or later (Windows 11 recommended)
• Architecture: 64-bit (x86_64) or ARM64
• RAM: 4 GB minimum (8 GB recommended)
• Storage: 500 MB free space
• Internet: Required for first-time setup and AI agent features
• Additional: ConPTY support (built into Windows 10 Build 18362+)

Linux

• Distributions: Any glibc-based distribution (Ubuntu, Debian, Fedora, Arch, etc.)
• Architecture: x86_64 or ARM64 (aarch64)
• RAM: 4 GB minimum (8 GB recommended)
• Storage: 500 MB free space
• Internet: Required for first-time setup and AI agent features
• Additional: GLIBC 2.29 or later

Download

Pragma runs natively on all major operating systems. Pick yours and get started.

macOS Windows Linux

Download Formats and Post-Download Steps

macOS

• File Format: .dmg (Disk Image)
• File Size: ~250-350 MB
• After Download: Double-click the .dmg file, then drag Pragma into your Applications folder

Windows

• File Format: .exe (Windows Installer)
• File Size: ~280-400 MB
• After Download: Double-click the .exe file and follow the installer wizard

Linux

Linux offers 4 flexible installation options depending on your distribution:

Debian/Ubuntu Users

• File Format: .deb package
• File Size: ~280 MB
• After Download:

  sudo apt install ./pragma-amd64.deb
  

  
  Or with dpkg:

  sudo dpkg -i pragma-amd64.deb
  

Any Linux Distribution (Universal)

• File Format: .AppImage (portable, self-contained)
• File Size: ~320 MB
• After Download:

  chmod +x pragma-x86_64.AppImage
  ./pragma-x86_64.AppImage
  

  No installation needed — runs directly! Perfect for portability.

Arch Linux Users

• File Format: AUR package
• After Download:

  yay -S pragma
  

Fedora/RHEL/CentOS Users

• File Format: .rpm package
• File Size: ~300 MB
• After Download:

  sudo dnf install ./pragma-x86_64.rpm
  

Signing In

When you open Pragma for the first time, sign in with your CredVault account — email/password, Google, or GitHub.

Once signed in, your clusters, API keys, and workspace settings are available directly inside the IDE. Pragma connects to the same backend as the dashboard and the cie CLI.

What's Inside Pragma

AI Agent

Pragma ships with a built-in AI coding agent. You can also bring your own:

• Claude Code
• OpenAI Codex
• Gemini CLI
• Any other CLI-based agent

The agent understands your codebase, writes code, runs commands, and iterates — all without you leaving the IDE. You control the autonomy level:

• Full — the agent acts on its own, executes commands, applies changes
• Partial — the agent suggests, you approve before anything runs
• None — the agent only responds, no automatic actions

You choose your default model during onboarding and can change it anytime. Free-tier models are available immediately; premium models require an upgraded plan.

Terminal

The terminal in Pragma is not an afterthought. It's built on a high-performance rendering engine (based on Alacritty and a custom VTE parser) with:

• Full shell support — bash, zsh, fish, NuShell
• Split panes and tabs
• Command history with search
• Intelligent autocomplete via Pragma Input
• Natural language detection — type what you want to do, Pragma suggests the command

Pragma Input

Pragma Input is the intelligent command bar. It understands context — your current directory, recent commands, project structure, and shell history — to give you smarter autocomplete and suggestions as you type. It also supports command corrections when something goes wrong.

Editor

Pragma includes a full code editor with:

• LSP (Language Server Protocol) — full language intelligence for Rust, Go, Python, JavaScript, TypeScript, Java, C++, C#, HTML, CSS, SQL, and more
• Syntax highlighting — powered by tree-sitter with support for 30+ languages
• Vim mode — full Vim keybindings for those who prefer them
• Code review — inline review tools built into the editor, not a separate panel
• Diff view — side-by-side and inline diffs for reviewing changes

Tools Panel

The tools panel sits alongside your editor and terminal. You can enable or disable it and configure which tools are shown:

• Conversation history — your full AI agent conversation thread
• File explorer — project tree with file navigation
• Global file search — search across your entire project
• Pragma Drive — file sync and sharing (see below)

Tab layout is configurable — vertical tabs (sidebar style) or horizontal tabs (classic style).

Pragma Drive

Pragma Drive is built-in file sync. It lets you:

• Sync your workspace across machines
• Share files and projects with teammates
• Access your files from any device where Pragma is installed

Drive is integrated directly into the tools panel — no external app or browser needed.

Code Review

Pragma has a built-in code review tool. You can enable or disable it from the tools panel. When enabled, it adds a review button to the editor toolbar that lets you:

• Review diffs inline
• Leave comments on specific lines
• Approve or request changes

Voice Input

Pragma supports voice input for commands and AI prompts. Speak your query and Pragma transcribes it directly into the input bar.

Computer Use

Pragma includes a computer use capability — the AI agent can interact with your desktop environment to complete tasks that go beyond the terminal and editor.

Remote Server

Pragma can connect to remote servers. You can open a remote session, edit files, and run commands on a remote machine as if it were local — with full LSP and terminal support.

Managed Secrets

Pragma has a built-in secrets manager. Store API keys, tokens, and credentials securely. The secrets are encrypted and available to your terminal sessions and agent without being exposed in plain text.

Notifications & Mailbox

Pragma has an agent notification system — a mailbox button and toast notifications that surface important events from your agent sessions, deployments, and CredVault platform.

Onboarding

When you first open Pragma, a guided onboarding flow walks you through:

1. Intention — choose between Agent-driven development or Terminal-focused workflow
2. Agent setup — pick your default AI model and autonomy level
3. UI customization — configure tab layout, tools panel, code review, and Pragma Drive
4. Account connection — sign in or create a CredVault account

Keyboard Shortcuts

Pragma is keyboard-first. Key bindings are configurable. Common defaults: