[{"data":1,"prerenderedAt":1430},["ShallowReactive",2],{"content-query-BV3haSgAqu":3},{"_path":4,"_dir":5,"_draft":6,"_partial":6,"_locale":7,"title":8,"description":9,"body":10,"_type":1424,"_id":1425,"_source":1426,"_file":1427,"_stem":1428,"_extension":1429},"\u002Fdocs\u002Ffeatures\u002Fpragma-ide","features",false,"","Pragma IDE","Pragma is an agentic development environment born out of the terminal. A full IDE with AI agents, LSP, editor, terminal, Drive, code review, and more — all in one native app.",{"type":11,"children":12,"toc":1393},"root",[13,21,64,71,76,83,138,144,199,205,260,264,270,275,334,337,343,348,397,402,445,450,462,469,577,583,654,660,704,710,772,775,781,786,799,802,808,814,819,842,854,887,892,898,903,931,937,942,948,953,1006,1012,1017,1060,1065,1070,1075,1093,1098,1104,1109,1127,1133,1138,1144,1149,1155,1160,1166,1171,1177,1182,1185,1191,1196,1240,1243,1249,1254,1384,1387],{"type":14,"tag":15,"props":16,"children":18},"element","h1",{"id":17},"pragma-ide",[19],{"type":20,"value":8},"text",{"type":14,"tag":22,"props":23,"children":25},"div",{"style":24},"display: flex; align-items: center; gap: 2rem; margin-bottom: 3rem;",[26,28,35,36],{"type":20,"value":27},"\n  ",{"type":14,"tag":29,"props":30,"children":34},"img",{"src":31,"alt":32,"style":33},"\u002Fimages\u002Fpragma-logo.svg","Pragma Logo","width: 120px; height: 120px;",[],{"type":20,"value":27},{"type":14,"tag":22,"props":37,"children":38},{},[39,41,53,54,63],{"type":20,"value":40},"\n    ",{"type":14,"tag":42,"props":43,"children":44},"p",{},[45,51],{"type":14,"tag":46,"props":47,"children":48},"strong",{},[49],{"type":20,"value":50},"Pragma is an agentic development environment",{"type":20,"value":52}," 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.",{"type":20,"value":40},{"type":14,"tag":42,"props":55,"children":56},{},[57],{"type":14,"tag":58,"props":59,"children":60},"em",{},[61],{"type":20,"value":62},"Pragma is proprietary software. © CredVault. All rights reserved.",{"type":20,"value":27},{"type":14,"tag":65,"props":66,"children":68},"h2",{"id":67},"system-requirements",[69],{"type":20,"value":70},"System Requirements",{"type":14,"tag":42,"props":72,"children":73},{},[74],{"type":20,"value":75},"Before downloading, ensure your system meets these minimum requirements:",{"type":14,"tag":77,"props":78,"children":80},"h3",{"id":79},"macos",[81],{"type":20,"value":82},"macOS",{"type":14,"tag":84,"props":85,"children":86},"ul",{},[87,98,108,118,128],{"type":14,"tag":88,"props":89,"children":90},"li",{},[91,96],{"type":14,"tag":46,"props":92,"children":93},{},[94],{"type":20,"value":95},"OS Version:",{"type":20,"value":97}," macOS 10.14 (Mojave) or later",{"type":14,"tag":88,"props":99,"children":100},{},[101,106],{"type":14,"tag":46,"props":102,"children":103},{},[104],{"type":20,"value":105},"Architecture:",{"type":20,"value":107}," Intel (x86_64) or Apple Silicon (M1\u002FM2\u002FM3)",{"type":14,"tag":88,"props":109,"children":110},{},[111,116],{"type":14,"tag":46,"props":112,"children":113},{},[114],{"type":20,"value":115},"RAM:",{"type":20,"value":117}," 4 GB minimum (8 GB recommended)",{"type":14,"tag":88,"props":119,"children":120},{},[121,126],{"type":14,"tag":46,"props":122,"children":123},{},[124],{"type":20,"value":125},"Storage:",{"type":20,"value":127}," 500 MB free space",{"type":14,"tag":88,"props":129,"children":130},{},[131,136],{"type":14,"tag":46,"props":132,"children":133},{},[134],{"type":20,"value":135},"Internet:",{"type":20,"value":137}," Required for first-time setup and AI agent features",{"type":14,"tag":77,"props":139,"children":141},{"id":140},"windows",[142],{"type":20,"value":143},"Windows",{"type":14,"tag":84,"props":145,"children":146},{},[147,156,165,173,181,189],{"type":14,"tag":88,"props":148,"children":149},{},[150,154],{"type":14,"tag":46,"props":151,"children":152},{},[153],{"type":20,"value":95},{"type":20,"value":155}," Windows 10 Build 18362 or later (Windows 11 recommended)",{"type":14,"tag":88,"props":157,"children":158},{},[159,163],{"type":14,"tag":46,"props":160,"children":161},{},[162],{"type":20,"value":105},{"type":20,"value":164}," 64-bit (x86_64) or ARM64",{"type":14,"tag":88,"props":166,"children":167},{},[168,172],{"type":14,"tag":46,"props":169,"children":170},{},[171],{"type":20,"value":115},{"type":20,"value":117},{"type":14,"tag":88,"props":174,"children":175},{},[176,180],{"type":14,"tag":46,"props":177,"children":178},{},[179],{"type":20,"value":125},{"type":20,"value":127},{"type":14,"tag":88,"props":182,"children":183},{},[184,188],{"type":14,"tag":46,"props":185,"children":186},{},[187],{"type":20,"value":135},{"type":20,"value":137},{"type":14,"tag":88,"props":190,"children":191},{},[192,197],{"type":14,"tag":46,"props":193,"children":194},{},[195],{"type":20,"value":196},"Additional:",{"type":20,"value":198}," ConPTY support (built into Windows 10 Build 18362+)",{"type":14,"tag":77,"props":200,"children":202},{"id":201},"linux",[203],{"type":20,"value":204},"Linux",{"type":14,"tag":84,"props":206,"children":207},{},[208,218,227,235,243,251],{"type":14,"tag":88,"props":209,"children":210},{},[211,216],{"type":14,"tag":46,"props":212,"children":213},{},[214],{"type":20,"value":215},"Distributions:",{"type":20,"value":217}," Any glibc-based distribution (Ubuntu, Debian, Fedora, Arch, etc.)",{"type":14,"tag":88,"props":219,"children":220},{},[221,225],{"type":14,"tag":46,"props":222,"children":223},{},[224],{"type":20,"value":105},{"type":20,"value":226}," x86_64 or ARM64 (aarch64)",{"type":14,"tag":88,"props":228,"children":229},{},[230,234],{"type":14,"tag":46,"props":231,"children":232},{},[233],{"type":20,"value":115},{"type":20,"value":117},{"type":14,"tag":88,"props":236,"children":237},{},[238,242],{"type":14,"tag":46,"props":239,"children":240},{},[241],{"type":20,"value":125},{"type":20,"value":127},{"type":14,"tag":88,"props":244,"children":245},{},[246,250],{"type":14,"tag":46,"props":247,"children":248},{},[249],{"type":20,"value":135},{"type":20,"value":137},{"type":14,"tag":88,"props":252,"children":253},{},[254,258],{"type":14,"tag":46,"props":255,"children":256},{},[257],{"type":20,"value":196},{"type":20,"value":259}," GLIBC 2.29 or later",{"type":14,"tag":261,"props":262,"children":263},"hr",{},[],{"type":14,"tag":65,"props":265,"children":267},{"id":266},"download",[268],{"type":20,"value":269},"Download",{"type":14,"tag":42,"props":271,"children":272},{},[273],{"type":20,"value":274},"Pragma runs natively on all major operating systems. Pick yours and get started.",{"type":14,"tag":22,"props":276,"children":279},{"className":277},[278],"os-download-grid",[280,281,300,301,317,318],{"type":20,"value":27},{"type":14,"tag":282,"props":283,"children":287},"a",{"href":284,"className":285},"https:\u002F\u002Fcredvault.net\u002Fdownload?os=macos",[286],"os-card",[288,289,293,294,299],{"type":20,"value":40},{"type":14,"tag":29,"props":290,"children":292},{"src":291,"alt":82},"\u002Fimages\u002Fmacos.svg",[],{"type":20,"value":40},{"type":14,"tag":295,"props":296,"children":297},"span",{},[298],{"type":20,"value":82},{"type":20,"value":27},{"type":20,"value":27},{"type":14,"tag":282,"props":302,"children":305},{"href":303,"className":304},"https:\u002F\u002Fcredvault.net\u002Fdownload?os=windows",[286],[306,307,311,312,316],{"type":20,"value":40},{"type":14,"tag":29,"props":308,"children":310},{"src":309,"alt":143},"\u002Fimages\u002Fwindows.svg",[],{"type":20,"value":40},{"type":14,"tag":295,"props":313,"children":314},{},[315],{"type":20,"value":143},{"type":20,"value":27},{"type":20,"value":27},{"type":14,"tag":282,"props":319,"children":322},{"href":320,"className":321},"https:\u002F\u002Fcredvault.net\u002Fdownload?os=linux",[286],[323,324,328,329,333],{"type":20,"value":40},{"type":14,"tag":29,"props":325,"children":327},{"src":326,"alt":204},"\u002Fimages\u002Flinux.svg",[],{"type":20,"value":40},{"type":14,"tag":295,"props":330,"children":331},{},[332],{"type":20,"value":204},{"type":20,"value":27},{"type":14,"tag":261,"props":335,"children":336},{},[],{"type":14,"tag":65,"props":338,"children":340},{"id":339},"download-formats-and-post-download-steps",[341],{"type":20,"value":342},"Download Formats and Post-Download Steps",{"type":14,"tag":77,"props":344,"children":346},{"id":345},"macos-1",[347],{"type":20,"value":82},{"type":14,"tag":84,"props":349,"children":350},{},[351,370,380],{"type":14,"tag":88,"props":352,"children":353},{},[354,359,361,368],{"type":14,"tag":46,"props":355,"children":356},{},[357],{"type":20,"value":358},"File Format:",{"type":20,"value":360}," ",{"type":14,"tag":362,"props":363,"children":365},"code",{"className":364},[],[366],{"type":20,"value":367},".dmg",{"type":20,"value":369}," (Disk Image)",{"type":14,"tag":88,"props":371,"children":372},{},[373,378],{"type":14,"tag":46,"props":374,"children":375},{},[376],{"type":20,"value":377},"File Size:",{"type":20,"value":379}," ~250-350 MB",{"type":14,"tag":88,"props":381,"children":382},{},[383,388,390,395],{"type":14,"tag":46,"props":384,"children":385},{},[386],{"type":20,"value":387},"After Download:",{"type":20,"value":389}," Double-click the ",{"type":14,"tag":362,"props":391,"children":393},{"className":392},[],[394],{"type":20,"value":367},{"type":20,"value":396}," file, then drag Pragma into your Applications folder",{"type":14,"tag":77,"props":398,"children":400},{"id":399},"windows-1",[401],{"type":20,"value":143},{"type":14,"tag":84,"props":403,"children":404},{},[405,421,430],{"type":14,"tag":88,"props":406,"children":407},{},[408,412,413,419],{"type":14,"tag":46,"props":409,"children":410},{},[411],{"type":20,"value":358},{"type":20,"value":360},{"type":14,"tag":362,"props":414,"children":416},{"className":415},[],[417],{"type":20,"value":418},".exe",{"type":20,"value":420}," (Windows Installer)",{"type":14,"tag":88,"props":422,"children":423},{},[424,428],{"type":14,"tag":46,"props":425,"children":426},{},[427],{"type":20,"value":377},{"type":20,"value":429}," ~280-400 MB",{"type":14,"tag":88,"props":431,"children":432},{},[433,437,438,443],{"type":14,"tag":46,"props":434,"children":435},{},[436],{"type":20,"value":387},{"type":20,"value":389},{"type":14,"tag":362,"props":439,"children":441},{"className":440},[],[442],{"type":20,"value":418},{"type":20,"value":444}," file and follow the installer wizard",{"type":14,"tag":77,"props":446,"children":448},{"id":447},"linux-1",[449],{"type":20,"value":204},{"type":14,"tag":42,"props":451,"children":452},{},[453,455,460],{"type":20,"value":454},"Linux offers ",{"type":14,"tag":46,"props":456,"children":457},{},[458],{"type":20,"value":459},"4 flexible installation options",{"type":20,"value":461}," depending on your distribution:",{"type":14,"tag":463,"props":464,"children":466},"h4",{"id":465},"debianubuntu-users",[467],{"type":20,"value":468},"Debian\u002FUbuntu Users",{"type":14,"tag":84,"props":470,"children":471},{},[472,488,497],{"type":14,"tag":88,"props":473,"children":474},{},[475,479,480,486],{"type":14,"tag":46,"props":476,"children":477},{},[478],{"type":20,"value":358},{"type":20,"value":360},{"type":14,"tag":362,"props":481,"children":483},{"className":482},[],[484],{"type":20,"value":485},".deb",{"type":20,"value":487}," package",{"type":14,"tag":88,"props":489,"children":490},{},[491,495],{"type":14,"tag":46,"props":492,"children":493},{},[494],{"type":20,"value":377},{"type":20,"value":496}," ~280 MB",{"type":14,"tag":88,"props":498,"children":499},{},[500,504,541,545,547],{"type":14,"tag":46,"props":501,"children":502},{},[503],{"type":20,"value":387},{"type":14,"tag":505,"props":506,"children":510},"pre",{"className":507,"code":508,"language":509,"meta":7,"style":7},"language-bash shiki shiki-themes github-dark","sudo apt install .\u002Fpragma-amd64.deb\n","bash",[511],{"type":14,"tag":362,"props":512,"children":513},{"__ignoreMap":7},[514],{"type":14,"tag":295,"props":515,"children":518},{"class":516,"line":517},"line",1,[519,525,531,536],{"type":14,"tag":295,"props":520,"children":522},{"style":521},"--shiki-default:#B392F0",[523],{"type":20,"value":524},"sudo",{"type":14,"tag":295,"props":526,"children":528},{"style":527},"--shiki-default:#9ECBFF",[529],{"type":20,"value":530}," apt",{"type":14,"tag":295,"props":532,"children":533},{"style":527},[534],{"type":20,"value":535}," install",{"type":14,"tag":295,"props":537,"children":538},{"style":527},[539],{"type":20,"value":540}," .\u002Fpragma-amd64.deb\n",{"type":14,"tag":542,"props":543,"children":544},"br",{},[],{"type":20,"value":546},"Or with dpkg:",{"type":14,"tag":505,"props":548,"children":550},{"className":507,"code":549,"language":509,"meta":7,"style":7},"sudo dpkg -i pragma-amd64.deb\n",[551],{"type":14,"tag":362,"props":552,"children":553},{"__ignoreMap":7},[554],{"type":14,"tag":295,"props":555,"children":556},{"class":516,"line":517},[557,561,566,572],{"type":14,"tag":295,"props":558,"children":559},{"style":521},[560],{"type":20,"value":524},{"type":14,"tag":295,"props":562,"children":563},{"style":527},[564],{"type":20,"value":565}," dpkg",{"type":14,"tag":295,"props":567,"children":569},{"style":568},"--shiki-default:#79B8FF",[570],{"type":20,"value":571}," -i",{"type":14,"tag":295,"props":573,"children":574},{"style":527},[575],{"type":20,"value":576}," pragma-amd64.deb\n",{"type":14,"tag":463,"props":578,"children":580},{"id":579},"any-linux-distribution-universal",[581],{"type":20,"value":582},"Any Linux Distribution (Universal)",{"type":14,"tag":84,"props":584,"children":585},{},[586,602,611],{"type":14,"tag":88,"props":587,"children":588},{},[589,593,594,600],{"type":14,"tag":46,"props":590,"children":591},{},[592],{"type":20,"value":358},{"type":20,"value":360},{"type":14,"tag":362,"props":595,"children":597},{"className":596},[],[598],{"type":20,"value":599},".AppImage",{"type":20,"value":601}," (portable, self-contained)",{"type":14,"tag":88,"props":603,"children":604},{},[605,609],{"type":14,"tag":46,"props":606,"children":607},{},[608],{"type":20,"value":377},{"type":20,"value":610}," ~320 MB",{"type":14,"tag":88,"props":612,"children":613},{},[614,618,652],{"type":14,"tag":46,"props":615,"children":616},{},[617],{"type":20,"value":387},{"type":14,"tag":505,"props":619,"children":621},{"className":507,"code":620,"language":509,"meta":7,"style":7},"chmod +x pragma-x86_64.AppImage\n.\u002Fpragma-x86_64.AppImage\n",[622],{"type":14,"tag":362,"props":623,"children":624},{"__ignoreMap":7},[625,643],{"type":14,"tag":295,"props":626,"children":627},{"class":516,"line":517},[628,633,638],{"type":14,"tag":295,"props":629,"children":630},{"style":521},[631],{"type":20,"value":632},"chmod",{"type":14,"tag":295,"props":634,"children":635},{"style":527},[636],{"type":20,"value":637}," +x",{"type":14,"tag":295,"props":639,"children":640},{"style":527},[641],{"type":20,"value":642}," pragma-x86_64.AppImage\n",{"type":14,"tag":295,"props":644,"children":646},{"class":516,"line":645},2,[647],{"type":14,"tag":295,"props":648,"children":649},{"style":521},[650],{"type":20,"value":651},".\u002Fpragma-x86_64.AppImage\n",{"type":20,"value":653},"\nNo installation needed — runs directly! Perfect for portability.",{"type":14,"tag":463,"props":655,"children":657},{"id":656},"arch-linux-users",[658],{"type":20,"value":659},"Arch Linux Users",{"type":14,"tag":84,"props":661,"children":662},{},[663,672],{"type":14,"tag":88,"props":664,"children":665},{},[666,670],{"type":14,"tag":46,"props":667,"children":668},{},[669],{"type":20,"value":358},{"type":20,"value":671}," AUR package",{"type":14,"tag":88,"props":673,"children":674},{},[675,679],{"type":14,"tag":46,"props":676,"children":677},{},[678],{"type":20,"value":387},{"type":14,"tag":505,"props":680,"children":682},{"className":507,"code":681,"language":509,"meta":7,"style":7},"yay -S pragma\n",[683],{"type":14,"tag":362,"props":684,"children":685},{"__ignoreMap":7},[686],{"type":14,"tag":295,"props":687,"children":688},{"class":516,"line":517},[689,694,699],{"type":14,"tag":295,"props":690,"children":691},{"style":521},[692],{"type":20,"value":693},"yay",{"type":14,"tag":295,"props":695,"children":696},{"style":568},[697],{"type":20,"value":698}," -S",{"type":14,"tag":295,"props":700,"children":701},{"style":527},[702],{"type":20,"value":703}," pragma\n",{"type":14,"tag":463,"props":705,"children":707},{"id":706},"fedorarhelcentos-users",[708],{"type":20,"value":709},"Fedora\u002FRHEL\u002FCentOS Users",{"type":14,"tag":84,"props":711,"children":712},{},[713,728,737],{"type":14,"tag":88,"props":714,"children":715},{},[716,720,721,727],{"type":14,"tag":46,"props":717,"children":718},{},[719],{"type":20,"value":358},{"type":20,"value":360},{"type":14,"tag":362,"props":722,"children":724},{"className":723},[],[725],{"type":20,"value":726},".rpm",{"type":20,"value":487},{"type":14,"tag":88,"props":729,"children":730},{},[731,735],{"type":14,"tag":46,"props":732,"children":733},{},[734],{"type":20,"value":377},{"type":20,"value":736}," ~300 MB",{"type":14,"tag":88,"props":738,"children":739},{},[740,744],{"type":14,"tag":46,"props":741,"children":742},{},[743],{"type":20,"value":387},{"type":14,"tag":505,"props":745,"children":747},{"className":507,"code":746,"language":509,"meta":7,"style":7},"sudo dnf install .\u002Fpragma-x86_64.rpm\n",[748],{"type":14,"tag":362,"props":749,"children":750},{"__ignoreMap":7},[751],{"type":14,"tag":295,"props":752,"children":753},{"class":516,"line":517},[754,758,763,767],{"type":14,"tag":295,"props":755,"children":756},{"style":521},[757],{"type":20,"value":524},{"type":14,"tag":295,"props":759,"children":760},{"style":527},[761],{"type":20,"value":762}," dnf",{"type":14,"tag":295,"props":764,"children":765},{"style":527},[766],{"type":20,"value":535},{"type":14,"tag":295,"props":768,"children":769},{"style":527},[770],{"type":20,"value":771}," .\u002Fpragma-x86_64.rpm\n",{"type":14,"tag":261,"props":773,"children":774},{},[],{"type":14,"tag":65,"props":776,"children":778},{"id":777},"signing-in",[779],{"type":20,"value":780},"Signing In",{"type":14,"tag":42,"props":782,"children":783},{},[784],{"type":20,"value":785},"When you open Pragma for the first time, sign in with your CredVault account — email\u002Fpassword, Google, or GitHub.",{"type":14,"tag":42,"props":787,"children":788},{},[789,791,797],{"type":20,"value":790},"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 ",{"type":14,"tag":362,"props":792,"children":794},{"className":793},[],[795],{"type":20,"value":796},"cie",{"type":20,"value":798}," CLI.",{"type":14,"tag":261,"props":800,"children":801},{},[],{"type":14,"tag":65,"props":803,"children":805},{"id":804},"whats-inside-pragma",[806],{"type":20,"value":807},"What's Inside Pragma",{"type":14,"tag":77,"props":809,"children":811},{"id":810},"ai-agent",[812],{"type":20,"value":813},"AI Agent",{"type":14,"tag":42,"props":815,"children":816},{},[817],{"type":20,"value":818},"Pragma ships with a built-in AI coding agent. You can also bring your own:",{"type":14,"tag":84,"props":820,"children":821},{},[822,827,832,837],{"type":14,"tag":88,"props":823,"children":824},{},[825],{"type":20,"value":826},"Claude Code",{"type":14,"tag":88,"props":828,"children":829},{},[830],{"type":20,"value":831},"OpenAI Codex",{"type":14,"tag":88,"props":833,"children":834},{},[835],{"type":20,"value":836},"Gemini CLI",{"type":14,"tag":88,"props":838,"children":839},{},[840],{"type":20,"value":841},"Any other CLI-based agent",{"type":14,"tag":42,"props":843,"children":844},{},[845,847,852],{"type":20,"value":846},"The agent understands your codebase, writes code, runs commands, and iterates — all without you leaving the IDE. You control the ",{"type":14,"tag":46,"props":848,"children":849},{},[850],{"type":20,"value":851},"autonomy level",{"type":20,"value":853},":",{"type":14,"tag":84,"props":855,"children":856},{},[857,867,877],{"type":14,"tag":88,"props":858,"children":859},{},[860,865],{"type":14,"tag":46,"props":861,"children":862},{},[863],{"type":20,"value":864},"Full",{"type":20,"value":866}," — the agent acts on its own, executes commands, applies changes",{"type":14,"tag":88,"props":868,"children":869},{},[870,875],{"type":14,"tag":46,"props":871,"children":872},{},[873],{"type":20,"value":874},"Partial",{"type":20,"value":876}," — the agent suggests, you approve before anything runs",{"type":14,"tag":88,"props":878,"children":879},{},[880,885],{"type":14,"tag":46,"props":881,"children":882},{},[883],{"type":20,"value":884},"None",{"type":20,"value":886}," — the agent only responds, no automatic actions",{"type":14,"tag":42,"props":888,"children":889},{},[890],{"type":20,"value":891},"You choose your default model during onboarding and can change it anytime. Free-tier models are available immediately; premium models require an upgraded plan.",{"type":14,"tag":77,"props":893,"children":895},{"id":894},"terminal",[896],{"type":20,"value":897},"Terminal",{"type":14,"tag":42,"props":899,"children":900},{},[901],{"type":20,"value":902},"The terminal in Pragma is not an afterthought. It's built on a high-performance rendering engine (based on Alacritty and a custom VTE parser) with:",{"type":14,"tag":84,"props":904,"children":905},{},[906,911,916,921,926],{"type":14,"tag":88,"props":907,"children":908},{},[909],{"type":20,"value":910},"Full shell support — bash, zsh, fish, NuShell",{"type":14,"tag":88,"props":912,"children":913},{},[914],{"type":20,"value":915},"Split panes and tabs",{"type":14,"tag":88,"props":917,"children":918},{},[919],{"type":20,"value":920},"Command history with search",{"type":14,"tag":88,"props":922,"children":923},{},[924],{"type":20,"value":925},"Intelligent autocomplete via Pragma Input",{"type":14,"tag":88,"props":927,"children":928},{},[929],{"type":20,"value":930},"Natural language detection — type what you want to do, Pragma suggests the command",{"type":14,"tag":77,"props":932,"children":934},{"id":933},"pragma-input",[935],{"type":20,"value":936},"Pragma Input",{"type":14,"tag":42,"props":938,"children":939},{},[940],{"type":20,"value":941},"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.",{"type":14,"tag":77,"props":943,"children":945},{"id":944},"editor",[946],{"type":20,"value":947},"Editor",{"type":14,"tag":42,"props":949,"children":950},{},[951],{"type":20,"value":952},"Pragma includes a full code editor with:",{"type":14,"tag":84,"props":954,"children":955},{},[956,966,976,986,996],{"type":14,"tag":88,"props":957,"children":958},{},[959,964],{"type":14,"tag":46,"props":960,"children":961},{},[962],{"type":20,"value":963},"LSP (Language Server Protocol)",{"type":20,"value":965}," — full language intelligence for Rust, Go, Python, JavaScript, TypeScript, Java, C++, C#, HTML, CSS, SQL, and more",{"type":14,"tag":88,"props":967,"children":968},{},[969,974],{"type":14,"tag":46,"props":970,"children":971},{},[972],{"type":20,"value":973},"Syntax highlighting",{"type":20,"value":975}," — powered by tree-sitter with support for 30+ languages",{"type":14,"tag":88,"props":977,"children":978},{},[979,984],{"type":14,"tag":46,"props":980,"children":981},{},[982],{"type":20,"value":983},"Vim mode",{"type":20,"value":985}," — full Vim keybindings for those who prefer them",{"type":14,"tag":88,"props":987,"children":988},{},[989,994],{"type":14,"tag":46,"props":990,"children":991},{},[992],{"type":20,"value":993},"Code review",{"type":20,"value":995}," — inline review tools built into the editor, not a separate panel",{"type":14,"tag":88,"props":997,"children":998},{},[999,1004],{"type":14,"tag":46,"props":1000,"children":1001},{},[1002],{"type":20,"value":1003},"Diff view",{"type":20,"value":1005}," — side-by-side and inline diffs for reviewing changes",{"type":14,"tag":77,"props":1007,"children":1009},{"id":1008},"tools-panel",[1010],{"type":20,"value":1011},"Tools Panel",{"type":14,"tag":42,"props":1013,"children":1014},{},[1015],{"type":20,"value":1016},"The tools panel sits alongside your editor and terminal. You can enable or disable it and configure which tools are shown:",{"type":14,"tag":84,"props":1018,"children":1019},{},[1020,1030,1040,1050],{"type":14,"tag":88,"props":1021,"children":1022},{},[1023,1028],{"type":14,"tag":46,"props":1024,"children":1025},{},[1026],{"type":20,"value":1027},"Conversation history",{"type":20,"value":1029}," — your full AI agent conversation thread",{"type":14,"tag":88,"props":1031,"children":1032},{},[1033,1038],{"type":14,"tag":46,"props":1034,"children":1035},{},[1036],{"type":20,"value":1037},"File explorer",{"type":20,"value":1039}," — project tree with file navigation",{"type":14,"tag":88,"props":1041,"children":1042},{},[1043,1048],{"type":14,"tag":46,"props":1044,"children":1045},{},[1046],{"type":20,"value":1047},"Global file search",{"type":20,"value":1049}," — search across your entire project",{"type":14,"tag":88,"props":1051,"children":1052},{},[1053,1058],{"type":14,"tag":46,"props":1054,"children":1055},{},[1056],{"type":20,"value":1057},"Pragma Drive",{"type":20,"value":1059}," — file sync and sharing (see below)",{"type":14,"tag":42,"props":1061,"children":1062},{},[1063],{"type":20,"value":1064},"Tab layout is configurable — vertical tabs (sidebar style) or horizontal tabs (classic style).",{"type":14,"tag":77,"props":1066,"children":1068},{"id":1067},"pragma-drive",[1069],{"type":20,"value":1057},{"type":14,"tag":42,"props":1071,"children":1072},{},[1073],{"type":20,"value":1074},"Pragma Drive is built-in file sync. It lets you:",{"type":14,"tag":84,"props":1076,"children":1077},{},[1078,1083,1088],{"type":14,"tag":88,"props":1079,"children":1080},{},[1081],{"type":20,"value":1082},"Sync your workspace across machines",{"type":14,"tag":88,"props":1084,"children":1085},{},[1086],{"type":20,"value":1087},"Share files and projects with teammates",{"type":14,"tag":88,"props":1089,"children":1090},{},[1091],{"type":20,"value":1092},"Access your files from any device where Pragma is installed",{"type":14,"tag":42,"props":1094,"children":1095},{},[1096],{"type":20,"value":1097},"Drive is integrated directly into the tools panel — no external app or browser needed.",{"type":14,"tag":77,"props":1099,"children":1101},{"id":1100},"code-review",[1102],{"type":20,"value":1103},"Code Review",{"type":14,"tag":42,"props":1105,"children":1106},{},[1107],{"type":20,"value":1108},"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:",{"type":14,"tag":84,"props":1110,"children":1111},{},[1112,1117,1122],{"type":14,"tag":88,"props":1113,"children":1114},{},[1115],{"type":20,"value":1116},"Review diffs inline",{"type":14,"tag":88,"props":1118,"children":1119},{},[1120],{"type":20,"value":1121},"Leave comments on specific lines",{"type":14,"tag":88,"props":1123,"children":1124},{},[1125],{"type":20,"value":1126},"Approve or request changes",{"type":14,"tag":77,"props":1128,"children":1130},{"id":1129},"voice-input",[1131],{"type":20,"value":1132},"Voice Input",{"type":14,"tag":42,"props":1134,"children":1135},{},[1136],{"type":20,"value":1137},"Pragma supports voice input for commands and AI prompts. Speak your query and Pragma transcribes it directly into the input bar.",{"type":14,"tag":77,"props":1139,"children":1141},{"id":1140},"computer-use",[1142],{"type":20,"value":1143},"Computer Use",{"type":14,"tag":42,"props":1145,"children":1146},{},[1147],{"type":20,"value":1148},"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.",{"type":14,"tag":77,"props":1150,"children":1152},{"id":1151},"remote-server",[1153],{"type":20,"value":1154},"Remote Server",{"type":14,"tag":42,"props":1156,"children":1157},{},[1158],{"type":20,"value":1159},"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.",{"type":14,"tag":77,"props":1161,"children":1163},{"id":1162},"managed-secrets",[1164],{"type":20,"value":1165},"Managed Secrets",{"type":14,"tag":42,"props":1167,"children":1168},{},[1169],{"type":20,"value":1170},"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.",{"type":14,"tag":77,"props":1172,"children":1174},{"id":1173},"notifications-mailbox",[1175],{"type":20,"value":1176},"Notifications & Mailbox",{"type":14,"tag":42,"props":1178,"children":1179},{},[1180],{"type":20,"value":1181},"Pragma has an agent notification system — a mailbox button and toast notifications that surface important events from your agent sessions, deployments, and CredVault platform.",{"type":14,"tag":261,"props":1183,"children":1184},{},[],{"type":14,"tag":65,"props":1186,"children":1188},{"id":1187},"onboarding",[1189],{"type":20,"value":1190},"Onboarding",{"type":14,"tag":42,"props":1192,"children":1193},{},[1194],{"type":20,"value":1195},"When you first open Pragma, a guided onboarding flow walks you through:",{"type":14,"tag":1197,"props":1198,"children":1199},"ol",{},[1200,1210,1220,1230],{"type":14,"tag":88,"props":1201,"children":1202},{},[1203,1208],{"type":14,"tag":46,"props":1204,"children":1205},{},[1206],{"type":20,"value":1207},"Intention",{"type":20,"value":1209}," — choose between Agent-driven development or Terminal-focused workflow",{"type":14,"tag":88,"props":1211,"children":1212},{},[1213,1218],{"type":14,"tag":46,"props":1214,"children":1215},{},[1216],{"type":20,"value":1217},"Agent setup",{"type":20,"value":1219}," — pick your default AI model and autonomy level",{"type":14,"tag":88,"props":1221,"children":1222},{},[1223,1228],{"type":14,"tag":46,"props":1224,"children":1225},{},[1226],{"type":20,"value":1227},"UI customization",{"type":20,"value":1229}," — configure tab layout, tools panel, code review, and Pragma Drive",{"type":14,"tag":88,"props":1231,"children":1232},{},[1233,1238],{"type":14,"tag":46,"props":1234,"children":1235},{},[1236],{"type":20,"value":1237},"Account connection",{"type":20,"value":1239}," — sign in or create a CredVault account",{"type":14,"tag":261,"props":1241,"children":1242},{},[],{"type":14,"tag":65,"props":1244,"children":1246},{"id":1245},"keyboard-shortcuts",[1247],{"type":20,"value":1248},"Keyboard Shortcuts",{"type":14,"tag":42,"props":1250,"children":1251},{},[1252],{"type":20,"value":1253},"Pragma is keyboard-first. Key bindings are configurable. Common defaults:",{"type":14,"tag":1255,"props":1256,"children":1257},"table",{},[1258,1277],{"type":14,"tag":1259,"props":1260,"children":1261},"thead",{},[1262],{"type":14,"tag":1263,"props":1264,"children":1265},"tr",{},[1266,1272],{"type":14,"tag":1267,"props":1268,"children":1269},"th",{},[1270],{"type":20,"value":1271},"Action",{"type":14,"tag":1267,"props":1273,"children":1274},{},[1275],{"type":20,"value":1276},"Shortcut",{"type":14,"tag":1278,"props":1279,"children":1280},"tbody",{},[1281,1299,1316,1333,1350,1367],{"type":14,"tag":1263,"props":1282,"children":1283},{},[1284,1290],{"type":14,"tag":1285,"props":1286,"children":1287},"td",{},[1288],{"type":20,"value":1289},"Open command palette",{"type":14,"tag":1285,"props":1291,"children":1292},{},[1293],{"type":14,"tag":362,"props":1294,"children":1296},{"className":1295},[],[1297],{"type":20,"value":1298},"Cmd\u002FCtrl + P",{"type":14,"tag":1263,"props":1300,"children":1301},{},[1302,1307],{"type":14,"tag":1285,"props":1303,"children":1304},{},[1305],{"type":20,"value":1306},"New terminal tab",{"type":14,"tag":1285,"props":1308,"children":1309},{},[1310],{"type":14,"tag":362,"props":1311,"children":1313},{"className":1312},[],[1314],{"type":20,"value":1315},"Cmd\u002FCtrl + T",{"type":14,"tag":1263,"props":1317,"children":1318},{},[1319,1324],{"type":14,"tag":1285,"props":1320,"children":1321},{},[1322],{"type":20,"value":1323},"Split pane",{"type":14,"tag":1285,"props":1325,"children":1326},{},[1327],{"type":14,"tag":362,"props":1328,"children":1330},{"className":1329},[],[1331],{"type":20,"value":1332},"Cmd\u002FCtrl + D",{"type":14,"tag":1263,"props":1334,"children":1335},{},[1336,1341],{"type":14,"tag":1285,"props":1337,"children":1338},{},[1339],{"type":20,"value":1340},"Toggle tools panel",{"type":14,"tag":1285,"props":1342,"children":1343},{},[1344],{"type":14,"tag":362,"props":1345,"children":1347},{"className":1346},[],[1348],{"type":20,"value":1349},"Cmd\u002FCtrl + B",{"type":14,"tag":1263,"props":1351,"children":1352},{},[1353,1358],{"type":14,"tag":1285,"props":1354,"children":1355},{},[1356],{"type":20,"value":1357},"Open AI agent",{"type":14,"tag":1285,"props":1359,"children":1360},{},[1361],{"type":14,"tag":362,"props":1362,"children":1364},{"className":1363},[],[1365],{"type":20,"value":1366},"Cmd\u002FCtrl + I",{"type":14,"tag":1263,"props":1368,"children":1369},{},[1370,1375],{"type":14,"tag":1285,"props":1371,"children":1372},{},[1373],{"type":20,"value":1374},"Global search",{"type":14,"tag":1285,"props":1376,"children":1377},{},[1378],{"type":14,"tag":362,"props":1379,"children":1381},{"className":1380},[],[1382],{"type":20,"value":1383},"Cmd\u002FCtrl + Shift + F",{"type":14,"tag":261,"props":1385,"children":1386},{},[],{"type":14,"tag":1388,"props":1389,"children":1390},"style",{},[1391],{"type":20,"value":1392},"html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}",{"title":7,"searchDepth":645,"depth":645,"links":1394},[1395,1401,1402,1407,1408,1422,1423],{"id":67,"depth":645,"text":70,"children":1396},[1397,1399,1400],{"id":79,"depth":1398,"text":82},3,{"id":140,"depth":1398,"text":143},{"id":201,"depth":1398,"text":204},{"id":266,"depth":645,"text":269},{"id":339,"depth":645,"text":342,"children":1403},[1404,1405,1406],{"id":345,"depth":1398,"text":82},{"id":399,"depth":1398,"text":143},{"id":447,"depth":1398,"text":204},{"id":777,"depth":645,"text":780},{"id":804,"depth":645,"text":807,"children":1409},[1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421],{"id":810,"depth":1398,"text":813},{"id":894,"depth":1398,"text":897},{"id":933,"depth":1398,"text":936},{"id":944,"depth":1398,"text":947},{"id":1008,"depth":1398,"text":1011},{"id":1067,"depth":1398,"text":1057},{"id":1100,"depth":1398,"text":1103},{"id":1129,"depth":1398,"text":1132},{"id":1140,"depth":1398,"text":1143},{"id":1151,"depth":1398,"text":1154},{"id":1162,"depth":1398,"text":1165},{"id":1173,"depth":1398,"text":1176},{"id":1187,"depth":645,"text":1190},{"id":1245,"depth":645,"text":1248},"markdown","content:docs:features:pragma-ide.md","content","docs\u002Ffeatures\u002Fpragma-ide.md","docs\u002Ffeatures\u002Fpragma-ide","md",1782233754790]