Pragma IDE

Download Formats

Current public installer formats are a macOS DMG, a Windows x64 installer, and an x86_64 Linux AppImage. Debian and RPM packages and ARM Linux builds are not currently available. See Pragma Download & Install for the installation steps.

Download

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

macOS Windows Linux

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

Pragma has more than one feature area. Use the dedicated pages below when you want the user guide for a specific part of the app.

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: