Pragma Settings

Pragma has a settings area for controlling the user's IDE experience, account behavior, AI configuration, privacy, integrations, and platform features.

Users use settings to make Pragma match how they work: visual style, AI behavior, privacy, account, team, terminal, and integration preferences.

Settings Users Can Expect

Users can expect settings for:

• AI model and agent behavior.
• Appearance and themes.
• Keyboard shortcuts.
• Terminal behavior.
• Pragma Drive.
• Privacy controls.
• Billing and usage.
• Team access.
• MCP servers.
• Platform behavior.

Appearance

Appearance settings let users choose a visual setup that works for them. This can include theme, layout, and editor/terminal preferences.

AI Settings

AI settings control model selection, autonomy, external providers, and how the agent behaves inside the workspace.

Privacy

Privacy settings should explain what data is used for AI, diagnostics, crash reporting, and telemetry. Users should be able to understand what is local and what may be sent to backend services.

MCP Servers

MCP servers let Pragma connect to extra tools. Admins and advanced users can configure trusted servers to extend what the AI agent can do.