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.
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.
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.
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.
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:
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.
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.
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.
Pragma has an agent notification system — a mailbox button and toast notifications that surface important events from your agent sessions, deployments, and CredVault platform.
