CredVault
Dashboard

Pragma Editor

Pragma includes a real code editor alongside the terminal and AI agent. Users can open projects, navigate files, edit code, review diffs, and run commands without switching tools.

The editor is meant for everyday coding work: opening files, moving through a project, editing code, searching, reviewing changes, and sending useful context to the AI agent.

Core Editor Features

The editor supports:

  • File tree navigation.
  • Syntax highlighting.
  • Language-aware editing.
  • Search across project files.
  • Multiple open files.
  • Diffs and review views.
  • Vim-style workflows where enabled.
  • Integration with terminal and agent context.

Language Intelligence

Pragma can work with language servers where available. This gives users:

  • Go to definition.
  • Hover information.
  • Diagnostics.
  • Symbol search.
  • Rename support.
  • Autocomplete.

Language support depends on the project and installed language tooling.

Users can search by:

  • File name.
  • Symbol.
  • Text content.
  • Commands.
  • Workflows.
  • Notebooks.

This is especially useful in large projects where browsing folders manually is slow.

Diffs

Diff views help users see what changed before they accept, commit, or discard edits. This matters when changes were produced by an AI agent or when reviewing teammate work.

Editor And Terminal Together

The main advantage of Pragma is that the editor and terminal are not separate worlds. A command can create an error, the editor can open the failing file, and the AI agent can use both pieces of context to help fix the problem.