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.

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

Pro

$15/mo

For solo developers.

  • 1,000 AI requests / month
  • Agent mode
  • Codebase indexing (1 repo)
  • Code + prompt suggestions
  • Next command predictions
  • 1 seat
Get Pro
Most Popular

Team

$49/mo

For growing teams.

  • 5,000 AI requests / month
  • Agent mode + ambient agents
  • Codebase indexing (5 repos)
  • Session sharing
  • Pragma Drive (full)
  • 5 seats ($8 / extra seat)
  • Multi-admin
Get Team

Build

$0.03/request

Pay only for what you use.

  • Unlimited AI requests
  • Voice input
  • BYO API keys
  • 5 concurrent agents
  • Codebase indexing (20 repos)
  • Unlimited seats
  • Usage-based billing
Get 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

AI requests are powered by Claude (Anthropic). Free and Pro plans use Claude Haiku. Team and Build plans use Claude Sonnet.