Agentic Development Environment

Meet Pragma.

A terminal-first development environment with a built-in AI agent, full LSP, code review, and Pragma Drive. Runs natively on macOS, Windows, and Linux.

macOS
Download formacOS
Windows
Download forWindows
Linux
Download forLinux

Free to start · No credit card required

Works on
macOSmacOS
WindowsWindows
LinuxLinux

What's inside

Everything you need to build.

AI Agent — built in

Pragma ships with a built-in AI coding agent powered by CredVault. It reads your codebase, writes code, runs commands, and iterates without you leaving the terminal. Bring your own agent too: Claude Code, Codex, and Gemini CLI all work natively.

Terminal-first

Built on a high-performance terminal engine. Full shell support bash, zsh, fish, NuShell. Split panes, tabs, command history, intelligent autocomplete.

LSP — 30+ languages

Real-time diagnostics, hover docs, go-to-definition, and find references across Rust, Python, TypeScript, Go, Java, C++, and more.

Pragma Drive

Built-in file sync. Share workflows, sync your workspace across machines, collaborate with your team all from inside the IDE.

Code Review

Inline code review with diff view, line comments, and revert controls. Review changes without leaving Pragma.

Managed Secrets

Store API keys and tokens securely inside Pragma. Available to your terminal sessions and agent never in plain text.

Voice Input

Speak your commands and AI prompts. Pragma transcribes them directly into the input bar.

Computer Use

The AI agent can control your screen mouse, keyboard, screenshots to complete tasks that go beyond the terminal.

Pricing

Start free. Upgrade when you need more.

All plans include the full Pragma app. Billed through your CredVault account.

Checking your location for available currency…

Free

$0/mo

Try everything. No card needed.

  • 50 AI requests / month
  • Full terminal + LSP
  • 1 seat
  • Basic completions
  • Pragma Drive (read-only)
Download Free

Individual Pro

—/mo

For one developer getting started.

  • 500 AI requests / month
  • Codebase indexing (1 repository)
  • 1 seat
Get Pro
Most Popular

Team

—/mo

For growing teams.

  • 2,000 AI requests / month
  • Agent mode and ambient agents
  • Codebase indexing (5 repositories)
  • Session sharing and Pragma Drive
  • Up to 5 seats
  • Multi-admin
Get Team

Build

— setup

Pay only for what you use.

  • Usage-based billing for resources and AI
  • Voice input and BYO API keys
  • Up to 5 concurrent agents
  • Codebase indexing (20 repositories)
  • Usage limits follow the selected account plan
Choose Build

Enterprise

Unlimited everything. Org-wide policies, self-hosted agents, SSO, audit logs, and a private admin portal for your IT team. Pricing based on seat count.

Unlimited seatsSelf-hostedSSO / SAMLAudit logsPrivacy modeAdmin portal
Contact Sales

Prices are selected from your location. The final amount and currency are confirmed at Paystack checkout.