404.html 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371
  1. <!doctype html>
  2. <html lang="en" class="no-js">
  3. <head>
  4. <meta charset="utf-8">
  5. <meta name="viewport" content="width=device-width,initial-scale=1">
  6. <link rel="icon" href="/assets/swe-agent.svg">
  7. <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
  8. <title>SWE-agent documentation</title>
  9. <link rel="stylesheet" href="/assets/stylesheets/main.0253249f.min.css">
  10. <link rel="stylesheet" href="/assets/stylesheets/palette.06af60db.min.css">
  11. <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
  12. <link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto:300,300i,400,400i,700,700i%7CRoboto+Mono:400,400i,700,700i&display=fallback">
  13. <style>:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}</style>
  14. <link rel="stylesheet" href="/assets/_mkdocstrings.css">
  15. <link rel="stylesheet" href="/assets/custom.css">
  16. <script>__md_scope=new URL("/",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
  17. </head>
  18. <body dir="ltr" data-md-color-scheme="default" data-md-color-primary="indigo" data-md-color-accent="indigo">
  19. <input class="md-toggle" data-md-toggle="drawer" type="checkbox" id="__drawer" autocomplete="off">
  20. <input class="md-toggle" data-md-toggle="search" type="checkbox" id="__search" autocomplete="off">
  21. <label class="md-overlay" for="__drawer"></label>
  22. <div data-md-component="skip">
  23. </div>
  24. <div data-md-component="announce">
  25. <aside class="md-banner">
  26. <div class="md-banner__inner md-grid md-typeset">
  27. <button class="md-banner__button md-icon" aria-label="Don't show this again">
  28. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"/></svg>
  29. </button>
  30. <!-- This link won't work in local preview -->
  31. <a href="SWE-agent/background#enigma" class="clickable-banner">
  32. <div>
  33. News: SWE-agent <span class="enigma">EniGMA</span> solves cybersecurity and CTF challanges to achieve <span class="enigma">3x improvement over previous SOTA!</span>
  34. </div>
  35. </a>
  36. </div>
  37. <script>var el=document.querySelector("[data-md-component=announce]");if(el){var content=el.querySelector(".md-typeset");__md_hash(content.innerHTML)===__md_get("__announce")&&(el.hidden=!0)}</script>
  38. </aside>
  39. </div>
  40. <header class="md-header md-header--shadow" data-md-component="header">
  41. <nav class="md-header__inner md-grid" aria-label="Header">
  42. <a href="/." title="SWE-agent documentation" class="md-header__button md-logo" aria-label="SWE-agent documentation" data-md-component="logo">
  43. <img src="/assets/swe-agent.svg" alt="logo">
  44. </a>
  45. <label class="md-header__button md-icon" for="__drawer">
  46. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3zm0 5h18v2H3zm0 5h18v2H3z"/></svg>
  47. </label>
  48. <div class="md-header__title" data-md-component="header-title">
  49. <div class="md-header__ellipsis">
  50. <div class="md-header__topic">
  51. <span class="md-ellipsis">
  52. SWE-agent documentation
  53. </span>
  54. </div>
  55. <div class="md-header__topic" data-md-component="header-topic">
  56. <span class="md-ellipsis">
  57. </span>
  58. </div>
  59. </div>
  60. </div>
  61. <form class="md-header__option" data-md-component="palette">
  62. <input class="md-option" data-md-color-media="(prefers-color-scheme)" data-md-color-scheme="default" data-md-color-primary="indigo" data-md-color-accent="indigo" aria-label="Switch to light mode" type="radio" name="__palette" id="__palette_0">
  63. <label class="md-header__button md-icon" title="Switch to light mode" for="__palette_1" hidden>
  64. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="m14.3 16-.7-2h-3.2l-.7 2H7.8L11 7h2l3.2 9zM20 8.69V4h-4.69L12 .69 8.69 4H4v4.69L.69 12 4 15.31V20h4.69L12 23.31 15.31 20H20v-4.69L23.31 12zm-9.15 3.96h2.3L12 9z"/></svg>
  65. </label>
  66. <input class="md-option" data-md-color-media="(prefers-color-scheme: light)" data-md-color-scheme="default" data-md-color-primary="black" data-md-color-accent="deep-orange" aria-label="Switch to dark mode" type="radio" name="__palette" id="__palette_1">
  67. <label class="md-header__button md-icon" title="Switch to dark mode" for="__palette_2" hidden>
  68. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="m17.75 4.09-2.53 1.94.91 3.06-2.63-1.81-2.63 1.81.91-3.06-2.53-1.94L12.44 4l1.06-3 1.06 3zm3.5 6.91-1.64 1.25.59 1.98-1.7-1.17-1.7 1.17.59-1.98L15.75 11l2.06-.05L18.5 9l.69 1.95zm-2.28 4.95c.83-.08 1.72 1.1 1.19 1.85-.32.45-.66.87-1.08 1.27C15.17 23 8.84 23 4.94 19.07c-3.91-3.9-3.91-10.24 0-14.14.4-.4.82-.76 1.27-1.08.75-.53 1.93.36 1.85 1.19-.27 2.86.69 5.83 2.89 8.02a9.96 9.96 0 0 0 8.02 2.89m-1.64 2.02a12.08 12.08 0 0 1-7.8-3.47c-2.17-2.19-3.33-5-3.49-7.82-2.81 3.14-2.7 7.96.31 10.98 3.02 3.01 7.84 3.12 10.98.31"/></svg>
  69. </label>
  70. <input class="md-option" data-md-color-media="(prefers-color-scheme: dark)" data-md-color-scheme="slate" data-md-color-primary="black" data-md-color-accent="deep-orange" aria-label="Switch to light mode" type="radio" name="__palette" id="__palette_2">
  71. <label class="md-header__button md-icon" title="Switch to light mode" for="__palette_0" hidden>
  72. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 7a5 5 0 0 1 5 5 5 5 0 0 1-5 5 5 5 0 0 1-5-5 5 5 0 0 1 5-5m0 2a3 3 0 0 0-3 3 3 3 0 0 0 3 3 3 3 0 0 0 3-3 3 3 0 0 0-3-3m0-7 2.39 3.42C13.65 5.15 12.84 5 12 5s-1.65.15-2.39.42zM3.34 7l4.16-.35A7.2 7.2 0 0 0 5.94 8.5c-.44.74-.69 1.5-.83 2.29zm.02 10 1.76-3.77a7.131 7.131 0 0 0 2.38 4.14zM20.65 7l-1.77 3.79a7.02 7.02 0 0 0-2.38-4.15zm-.01 10-4.14.36c.59-.51 1.12-1.14 1.54-1.86.42-.73.69-1.5.83-2.29zM12 22l-2.41-3.44c.74.27 1.55.44 2.41.44.82 0 1.63-.17 2.37-.44z"/></svg>
  73. </label>
  74. </form>
  75. <script>var palette=__md_get("__palette");if(palette&&palette.color){if("(prefers-color-scheme)"===palette.color.media){var media=matchMedia("(prefers-color-scheme: light)"),input=document.querySelector(media.matches?"[data-md-color-media='(prefers-color-scheme: light)']":"[data-md-color-media='(prefers-color-scheme: dark)']");palette.color.media=input.getAttribute("data-md-color-media"),palette.color.scheme=input.getAttribute("data-md-color-scheme"),palette.color.primary=input.getAttribute("data-md-color-primary"),palette.color.accent=input.getAttribute("data-md-color-accent")}for(var[key,value]of Object.entries(palette.color))document.body.setAttribute("data-md-color-"+key,value)}</script>
  76. <label class="md-header__button md-icon" for="__search">
  77. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg>
  78. </label>
  79. <div class="md-search" data-md-component="search" role="dialog">
  80. <label class="md-search__overlay" for="__search"></label>
  81. <div class="md-search__inner" role="search">
  82. <form class="md-search__form" name="search">
  83. <input type="text" class="md-search__input" name="query" aria-label="Search" placeholder="Search" autocapitalize="off" autocorrect="off" autocomplete="off" spellcheck="false" data-md-component="search-query" required>
  84. <label class="md-search__icon md-icon" for="__search">
  85. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg>
  86. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11z"/></svg>
  87. </label>
  88. <nav class="md-search__options" aria-label="Search">
  89. <button type="reset" class="md-search__icon md-icon" title="Clear" aria-label="Clear" tabindex="-1">
  90. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"/></svg>
  91. </button>
  92. </nav>
  93. </form>
  94. <div class="md-search__output">
  95. <div class="md-search__scrollwrap" tabindex="0" data-md-scrollfix>
  96. <div class="md-search-result" data-md-component="search-result">
  97. <div class="md-search-result__meta">
  98. Initializing search
  99. </div>
  100. <ol class="md-search-result__list" role="presentation"></ol>
  101. </div>
  102. </div>
  103. </div>
  104. </div>
  105. </div>
  106. <div class="md-header__source">
  107. <a href="https://github.com/princeton-nlp/SWE-agent" title="Go to repository" class="md-source" data-md-component="source">
  108. <div class="md-source__icon md-icon">
  109. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><!--! Font Awesome Free 6.6.0 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License) Copyright 2024 Fonticons, Inc.--><path d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6m-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3m44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9M244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8M97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1m-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7m32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1m-11.4-14.7c-1.6 1-1.6 3.6 0 5.9s4.3 3.3 5.6 2.3c1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2"/></svg>
  110. </div>
  111. <div class="md-source__repository">
  112. princeton-nlp/SWE-agent
  113. </div>
  114. </a>
  115. </div>
  116. </nav>
  117. </header>
  118. <div class="md-container" data-md-component="container">
  119. <main class="md-main" data-md-component="main">
  120. <div class="md-main__inner md-grid">
  121. <div class="md-sidebar md-sidebar--primary" data-md-component="sidebar" data-md-type="navigation" >
  122. <div class="md-sidebar__scrollwrap">
  123. <div class="md-sidebar__inner">
  124. <nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
  125. <label class="md-nav__title" for="__drawer">
  126. <a href="/." title="SWE-agent documentation" class="md-nav__button md-logo" aria-label="SWE-agent documentation" data-md-component="logo">
  127. <img src="/assets/swe-agent.svg" alt="logo">
  128. </a>
  129. SWE-agent documentation
  130. </label>
  131. <div class="md-nav__source">
  132. <a href="https://github.com/princeton-nlp/SWE-agent" title="Go to repository" class="md-source" data-md-component="source">
  133. <div class="md-source__icon md-icon">
  134. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><!--! Font Awesome Free 6.6.0 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License) Copyright 2024 Fonticons, Inc.--><path d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6m-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3m44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9M244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8M97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1m-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7m32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1m-11.4-14.7c-1.6 1-1.6 3.6 0 5.9s4.3 3.3 5.6 2.3c1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2"/></svg>
  135. </div>
  136. <div class="md-source__repository">
  137. princeton-nlp/SWE-agent
  138. </div>
  139. </a>
  140. </div>
  141. <ul class="md-nav__list" data-md-scrollfix>
  142. <li class="md-nav__item">
  143. <a href="/." class="md-nav__link">
  144. <span class="md-ellipsis">
  145. Home
  146. </span>
  147. </a>
  148. </li>
  149. <li class="md-nav__item md-nav__item--nested">
  150. <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2" >
  151. <div class="md-nav__link md-nav__container">
  152. <a href="/background/" class="md-nav__link ">
  153. <span class="md-ellipsis">
  154. Project Overview
  155. </span>
  156. </a>
  157. <label class="md-nav__link " for="__nav_2" id="__nav_2_label" tabindex="0">
  158. <span class="md-nav__icon md-icon"></span>
  159. </label>
  160. </div>
  161. <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_2_label" aria-expanded="false">
  162. <label class="md-nav__title" for="__nav_2">
  163. <span class="md-nav__icon md-icon"></span>
  164. Project Overview
  165. </label>
  166. <ul class="md-nav__list" data-md-scrollfix>
  167. <li class="md-nav__item">
  168. <a href="/background/aci/" class="md-nav__link">
  169. <span class="md-ellipsis">
  170. Agent-Computer Interface
  171. </span>
  172. </a>
  173. </li>
  174. <li class="md-nav__item">
  175. <a href="/background/iat/" class="md-nav__link">
  176. <span class="md-ellipsis">
  177. Interactive Agent Tools
  178. </span>
  179. </a>
  180. </li>
  181. <li class="md-nav__item">
  182. <a href="/background/architecture/" class="md-nav__link">
  183. <span class="md-ellipsis">
  184. Architecture
  185. </span>
  186. </a>
  187. </li>
  188. </ul>
  189. </nav>
  190. </li>
  191. <li class="md-nav__item md-nav__item--nested">
  192. <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_3" >
  193. <div class="md-nav__link md-nav__container">
  194. <a href="/installation/" class="md-nav__link ">
  195. <span class="md-ellipsis">
  196. Installation
  197. </span>
  198. </a>
  199. <label class="md-nav__link " for="__nav_3" id="__nav_3_label" tabindex="0">
  200. <span class="md-nav__icon md-icon"></span>
  201. </label>
  202. </div>
  203. <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_3_label" aria-expanded="false">
  204. <label class="md-nav__title" for="__nav_3">
  205. <span class="md-nav__icon md-icon"></span>
  206. Installation
  207. </label>
  208. <ul class="md-nav__list" data-md-scrollfix>
  209. <li class="md-nav__item">
  210. <a href="/installation/codespaces/" class="md-nav__link">
  211. <span class="md-ellipsis">
  212. Use in-browser
  213. </span>
  214. </a>
  215. </li>
  216. <li class="md-nav__item">
  217. <a href="/installation/source/" class="md-nav__link">
  218. <span class="md-ellipsis">
  219. Install from source
  220. </span>
  221. </a>
  222. </li>
  223. <li class="md-nav__item">
  224. <a href="/installation/docker/" class="md-nav__link">
  225. <span class="md-ellipsis">
  226. Run with docker
  227. </span>
  228. </a>
  229. </li>
  230. <li class="md-nav__item">
  231. <a href="/installation/keys/" class="md-nav__link">
  232. <span class="md-ellipsis">
  233. API keys
  234. </span>
  235. </a>
  236. </li>
  237. <li class="md-nav__item">
  238. <a href="/installation/tips/" class="md-nav__link">
  239. <span class="md-ellipsis">
  240. Installation tips
  241. </span>
  242. </a>
  243. </li>
  244. <li class="md-nav__item">
  245. <a href="/installation/changelog/" class="md-nav__link">
  246. <span class="md-ellipsis">
  247. Changelog
  248. </span>
  249. </a>
  250. </li>
  251. </ul>
  252. </nav>
  253. </li>
  254. <li class="md-nav__item md-nav__item--nested">
  255. <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_4" >
  256. <div class="md-nav__link md-nav__container">
  257. <a href="/usage/" class="md-nav__link ">
  258. <span class="md-ellipsis">
  259. Usage
  260. </span>
  261. </a>
  262. <label class="md-nav__link " for="__nav_4" id="__nav_4_label" tabindex="0">
  263. <span class="md-nav__icon md-icon"></span>
  264. </label>
  265. </div>
  266. <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_4_label" aria-expanded="false">
  267. <label class="md-nav__title" for="__nav_4">
  268. <span class="md-nav__icon md-icon"></span>
  269. Usage
  270. </label>
  271. <ul class="md-nav__list" data-md-scrollfix>
  272. <li class="md-nav__item">
  273. <a href="/usage/cl_tutorial/" class="md-nav__link">
  274. <span class="md-ellipsis">
  275. Command line usage
  276. </span>
  277. </a>
  278. </li>
  279. <li class="md-nav__item">
  280. <a href="/usage/enigma/" class="md-nav__link">
  281. <span class="md-ellipsis">
  282. EnIGMA usage
  283. </span>
  284. </a>
  285. </li>
  286. <li class="md-nav__item">
  287. <a href="/usage/coding_challenges/" class="md-nav__link">
  288. <span class="md-ellipsis">
  289. Solving coding challenges
  290. </span>
  291. </a>
  292. </li>
  293. <li class="md-nav__item">
  294. <a href="/usage/web_ui/" class="md-nav__link">
  295. <span class="md-ellipsis">
  296. Using the web UI
  297. </span>
  298. </a>
  299. </li>
  300. <li class="md-nav__item">
  301. <a href="/usage/trajectories/" class="md-nav__link">
  302. <span class="md-ellipsis">
  303. Trajectories
  304. </span>
  305. </a>
  306. </li>
  307. <li class="md-nav__item">
  308. <a href="/usage/inspector/" class="md-nav__link">
  309. <span class="md-ellipsis">
  310. Trajectory inspector
  311. </span>
  312. </a>
  313. </li>
  314. <li class="md-nav__item">
  315. <a href="/usage/usage_faq/" class="md-nav__link">
  316. <span class="md-ellipsis">
  317. FAQ
  318. </span>
  319. </a>
  320. </li>
  321. <li class="md-nav__item">
  322. <a href="/usage/benchmarking/" class="md-nav__link">
  323. <span class="md-ellipsis">
  324. Benchmarking
  325. </span>
  326. </a>
  327. </li>
  328. </ul>
  329. </nav>
  330. </li>
  331. <li class="md-nav__item md-nav__item--nested">
  332. <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_5" >
  333. <label class="md-nav__link" for="__nav_5" id="__nav_5_label" tabindex="0">
  334. <span class="md-ellipsis">
  335. Configuration
  336. </span>
  337. <span class="md-nav__icon md-icon"></span>
  338. </label>
  339. <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_5_label" aria-expanded="false">
  340. <label class="md-nav__title" for="__nav_5">
  341. <span class="md-nav__icon md-icon"></span>
  342. Configuration
  343. </label>
  344. <ul class="md-nav__list" data-md-scrollfix>
  345. <li class="md-nav__item">
  346. <a href="/config/config/" class="md-nav__link">
  347. <span class="md-ellipsis">
  348. Config files
  349. </span>
  350. </a>
  351. </li>
  352. <li class="md-nav__item">
  353. <a href="/config/commands/" class="md-nav__link">
  354. <span class="md-ellipsis">
  355. Command definitions
  356. </span>
  357. </a>
  358. </li>
  359. <li class="md-nav__item">
  360. <a href="/config/demonstrations/" class="md-nav__link">
  361. <span class="md-ellipsis">
  362. Demonstrations
  363. </span>
  364. </a>
  365. </li>
  366. <li class="md-nav__item">
  367. <a href="/config/env/" class="md-nav__link">
  368. <span class="md-ellipsis">
  369. Environment variables
  370. </span>
  371. </a>
  372. </li>
  373. <li class="md-nav__item">
  374. <a href="/config/docker/" class="md-nav__link">
  375. <span class="md-ellipsis">
  376. Docker images
  377. </span>
  378. </a>
  379. </li>
  380. <li class="md-nav__item">
  381. <a href="/config/summarizers/" class="md-nav__link">
  382. <span class="md-ellipsis">
  383. Summarizers
  384. </span>
  385. </a>
  386. </li>
  387. </ul>
  388. </nav>
  389. </li>
  390. <li class="md-nav__item md-nav__item--nested">
  391. <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_6" >
  392. <label class="md-nav__link" for="__nav_6" id="__nav_6_label" tabindex="0">
  393. <span class="md-ellipsis">
  394. Development
  395. </span>
  396. <span class="md-nav__icon md-icon"></span>
  397. </label>
  398. <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_6_label" aria-expanded="false">
  399. <label class="md-nav__title" for="__nav_6">
  400. <span class="md-nav__icon md-icon"></span>
  401. Development
  402. </label>
  403. <ul class="md-nav__list" data-md-scrollfix>
  404. <li class="md-nav__item">
  405. <a href="/dev/contribute/" class="md-nav__link">
  406. <span class="md-ellipsis">
  407. Contribution guide
  408. </span>
  409. </a>
  410. </li>
  411. <li class="md-nav__item">
  412. <a href="/dev/formatting_conflicts/" class="md-nav__link">
  413. <span class="md-ellipsis">
  414. Formatting conflicts
  415. </span>
  416. </a>
  417. </li>
  418. </ul>
  419. </nav>
  420. </li>
  421. <li class="md-nav__item md-nav__item--nested">
  422. <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_7" >
  423. <div class="md-nav__link md-nav__container">
  424. <a href="/reference/" class="md-nav__link ">
  425. <span class="md-ellipsis">
  426. Reference
  427. </span>
  428. </a>
  429. <label class="md-nav__link " for="__nav_7" id="__nav_7_label" tabindex="0">
  430. <span class="md-nav__icon md-icon"></span>
  431. </label>
  432. </div>
  433. <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_7_label" aria-expanded="false">
  434. <label class="md-nav__title" for="__nav_7">
  435. <span class="md-nav__icon md-icon"></span>
  436. Reference
  437. </label>
  438. <ul class="md-nav__list" data-md-scrollfix>
  439. <li class="md-nav__item">
  440. <a href="/reference/agent/" class="md-nav__link">
  441. <span class="md-ellipsis">
  442. Agent
  443. </span>
  444. </a>
  445. </li>
  446. <li class="md-nav__item">
  447. <a href="/reference/models/" class="md-nav__link">
  448. <span class="md-ellipsis">
  449. Models
  450. </span>
  451. </a>
  452. </li>
  453. <li class="md-nav__item">
  454. <a href="/reference/env/" class="md-nav__link">
  455. <span class="md-ellipsis">
  456. Environment
  457. </span>
  458. </a>
  459. </li>
  460. <li class="md-nav__item">
  461. <a href="/reference/env_utils/" class="md-nav__link">
  462. <span class="md-ellipsis">
  463. Environment utils
  464. </span>
  465. </a>
  466. </li>
  467. </ul>
  468. </nav>
  469. </li>
  470. <li class="md-nav__item">
  471. <a href="/faq/" class="md-nav__link">
  472. <span class="md-ellipsis">
  473. FAQ
  474. </span>
  475. </a>
  476. </li>
  477. </ul>
  478. </nav>
  479. </div>
  480. </div>
  481. </div>
  482. <div class="md-sidebar md-sidebar--secondary" data-md-component="sidebar" data-md-type="toc" >
  483. <div class="md-sidebar__scrollwrap">
  484. <div class="md-sidebar__inner">
  485. <nav class="md-nav md-nav--secondary" aria-label="Table of contents">
  486. </nav>
  487. </div>
  488. </div>
  489. </div>
  490. <div class="md-content" data-md-component="content">
  491. <article class="md-content__inner md-typeset">
  492. <h1>404 - Not found</h1>
  493. </article>
  494. </div>
  495. <script>var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))</script>
  496. </div>
  497. </main>
  498. <footer class="md-footer">
  499. <div class="md-footer-meta md-typeset">
  500. <div class="md-footer-meta__inner md-grid">
  501. <div class="md-copyright">
  502. Made with
  503. <a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener">
  504. Material for MkDocs
  505. </a>
  506. </div>
  507. </div>
  508. </div>
  509. </footer>
  510. </div>
  511. <div class="md-dialog" data-md-component="dialog">
  512. <div class="md-dialog__inner md-typeset"></div>
  513. </div>
  514. <script id="__config" type="application/json">{"base": "/", "features": ["navigation.indexes", "content.action.edit", "navigation.footer", "content.code.copy", "content.footnote.tooltips", "header.autohide", "announce.dismiss"], "search": "/assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
  515. <script src="/assets/javascripts/bundle.83f73b43.min.js"></script>
  516. </body>
  517. </html>