Feat/download button

.claude/settings.local.json

@@ -70,7 +70,9 @@
       "mcp__serena__think_about_collected_information",
       "mcp__serena__think_about_task_adherence",
       "mcp__serena__think_about_whether_you_are_done",
-      "mcp__serena__write_memory"
+      "mcp__serena__write_memory",
+      "Bash(npx vitest *)",
+      "Bash(pnpm --filter extension tsc --noEmit)"
     ],
     "deny": []
   }

.serena/project.yml

@@ -1,56 +1,19 @@
-# whether to use the project's gitignore file to ignore files
-# Added on 2025-04-07
+# whether to use project's .gitignore files to ignore files
 ignore_all_files_in_gitignore: true
-# list of additional paths to ignore
-# same syntax as gitignore, so you can use * and **
-# Was previously called `ignored_dirs`, please update your config if you are using that.
-# Added (renamed)on 2025-04-07
+
+# list of additional paths to ignore in this project.
+# Same syntax as gitignore, so you can use * and **.
+# Note: global ignored_paths from serena_config.yml are also applied additively.
 ignored_paths: []
 
 # whether the project is in read-only mode
 # If set to true, all editing tools will be disabled and attempts to use them will result in an error
 # Added on 2025-04-18
 read_only: false
 
-# list of tool names to exclude. We recommend not excluding any tools, see the readme for more details.
-# Below is the complete list of tools for convenience.
-# To make sure you have the latest list of tools, and to view their descriptions,
-# execute `uv run scripts/print_tool_overview.py`.
-#
-#  * `activate_project`: Activates a project by name.
-#  * `check_onboarding_performed`: Checks whether project onboarding was already performed.
-#  * `create_text_file`: Creates/overwrites a file in the project directory.
-#  * `delete_lines`: Deletes a range of lines within a file.
-#  * `delete_memory`: Deletes a memory from Serena's project-specific memory store.
-#  * `execute_shell_command`: Executes a shell command.
-#  * `find_referencing_code_snippets`: Finds code snippets in which the symbol at the given location is referenced.
-#  * `find_referencing_symbols`: Finds symbols that reference the symbol at the given location (optionally filtered by type).
-#  * `find_symbol`: Performs a global (or local) search for symbols with/containing a given name/substring (optionally filtered by type).
-#  * `get_current_config`: Prints the current configuration of the agent, including the active and available projects, tools, contexts, and modes.
-#  * `get_symbols_overview`: Gets an overview of the top-level symbols defined in a given file.
-#  * `initial_instructions`: Gets the initial instructions for the current project.
-#     Should only be used in settings where the system prompt cannot be set,
-#     e.g. in clients you have no control over, like Claude Desktop.
-#  * `insert_after_symbol`: Inserts content after the end of the definition of a given symbol.
-#  * `insert_at_line`: Inserts content at a given line in a file.
-#  * `insert_before_symbol`: Inserts content before the beginning of the definition of a given symbol.
-#  * `list_dir`: Lists files and directories in the given directory (optionally with recursion).
-#  * `list_memories`: Lists memories in Serena's project-specific memory store.
-#  * `onboarding`: Performs onboarding (identifying the project structure and essential tasks, e.g. for testing or building).
-#  * `prepare_for_new_conversation`: Provides instructions for preparing for a new conversation (in order to continue with the necessary context).
-#  * `read_file`: Reads a file within the project directory.
-#  * `read_memory`: Reads the memory with the given name from Serena's project-specific memory store.
-#  * `remove_project`: Removes a project from the Serena configuration.
-#  * `replace_lines`: Replaces a range of lines within a file with new content.
-#  * `replace_symbol_body`: Replaces the full definition of a symbol.
-#  * `restart_language_server`: Restarts the language server, may be necessary when edits not through Serena happen.
-#  * `search_for_pattern`: Performs a search for a pattern in the project.
-#  * `summarize_changes`: Provides instructions for summarizing the changes made to the codebase.
-#  * `switch_modes`: Activates modes by providing a list of their names
-#  * `think_about_collected_information`: Thinking tool for pondering the completeness of collected information.
-#  * `think_about_task_adherence`: Thinking tool for determining whether the agent is still on track with the current task.
-#  * `think_about_whether_you_are_done`: Thinking tool for determining whether the task is truly completed.
-#  * `write_memory`: Writes a named memory (for future reference) to Serena's project-specific memory store.
+# list of tool names to exclude.
+# This extends the existing exclusions (e.g. from the global configuration)
+# Find the list of tools here: https://oraios.github.io/serena/01-about/035_tools.html
 excluded_tools: []
 
 # initial prompt for the project. It will always be given to the LLM upon activating the project
@@ -67,41 +30,58 @@ project_name: "selection-command"
 # Set this to a list of mode names to always include the respective modes for this project.
 base_modes:
 
-# list of mode names that are to be activated by default.
-# The full set of modes to be activated is base_modes + default_modes.
-# If the setting is undefined, the default_modes from the global configuration (serena_config.yml) apply.
+# list of mode names that are to be activated by default, overriding the setting in the global configuration.
+# The full set of modes to be activated is base_modes (from global config) + default_modes + added_modes.
+# If the setting is undefined/empty, the default_modes from the global configuration (serena_config.yml) apply.
 # Otherwise, this overrides the setting from the global configuration (serena_config.yml).
+# Therefore, you can set this to [] if you do not want the default modes defined in the global config to apply
+# for this project.
 # This setting can, in turn, be overridden by CLI parameters (--mode).
+# See https://oraios.github.io/serena/02-usage/050_configuration.html#modes
 default_modes:
 
-# list of tools to include that would otherwise be disabled (particularly optional tools that are disabled by default)
+# list of tools to include that would otherwise be disabled (particularly optional tools that are disabled by default).
+# This extends the existing inclusions (e.g. from the global configuration).
+# Find the list of tools here: https://oraios.github.io/serena/01-about/035_tools.html
 included_optional_tools: []
 
 # fixed set of tools to use as the base tool set (if non-empty), replacing Serena's default set of tools.
 # This cannot be combined with non-empty excluded_tools or included_optional_tools.
+# Find the list of tools here: https://oraios.github.io/serena/01-about/035_tools.html
 fixed_tools: []
 
 # the encoding used by text files in the project
 # For a list of possible encodings, see https://docs.python.org/3.11/library/codecs.html#standard-encodings
 encoding: utf-8
 
 # list of languages for which language servers are started; choose from:
-#   al                  bash                clojure             cpp                 csharp
-#   csharp_omnisharp    dart                elixir              elm                 erlang
-#   fortran             fsharp              go                  groovy              haskell
-#   java                julia               kotlin              lua                 markdown
-#   matlab              nix                 pascal              perl                php
-#   php_phpactor        powershell          python              python_jedi         r
-#   rego                ruby                ruby_solargraph     rust                scala
-#   swift               terraform           toml                typescript          typescript_vts
-#   vue                 yaml                zig
-#   powershell          python              python_jedi         r                   rego
-#   ruby                ruby_solargraph     rust                scala               swift
-#   terraform           toml                typescript          typescript_vts      vue
-#   yaml                zig
-#
+#   al                  ansible             bash                clojure             cpp
+#   cpp_ccls            crystal             csharp              csharp_omnisharp    dart
+#   elixir              elm                 erlang              fortran             fsharp
+#   go                  groovy              haskell             haxe                hlsl
+#   java                json                julia               kotlin              lean4
+#   lua                 luau                markdown            matlab              msl
+#   nix                 ocaml               pascal              perl                php
+#   php_phpactor        powershell          python              python_jedi         python_ty
+#   r                   rego                ruby                ruby_solargraph     rust
+#   scala               solidity            swift               systemverilog       terraform
+#   toml                typescript          typescript_vts      vue                 yaml
+#   zig
+#   (This list may be outdated. For the current list, see values of Language enum here:
+#   https://github.com/oraios/serena/blob/main/src/solidlsp/ls_config.py
+#   For some languages, there are alternative language servers, e.g. csharp_omnisharp, ruby_solargraph.)
+# Note:
+#   - For C, use cpp
+#   - For JavaScript, use typescript
+#   - For Free Pascal/Lazarus, use pascal
+# Special requirements:
+#   Some languages require additional setup/installations.
+#   See here for details: https://oraios.github.io/serena/01-about/020_programming-languages.html#language-servers
+# When using multiple languages, the first language server that supports a given file will be used for that file.
+# The first language is the default language and the respective language server will be used as a fallback.
+# Note that when using the JetBrains backend, language servers are not used and this list is correspondingly ignored.
 languages:
-- typescript
+  - typescript
 
 # time budget (seconds) per tool call for the retrieval of additional symbol information
 # such as docstrings or parameter information.
@@ -138,3 +118,8 @@ ignored_memory_patterns: []
 # Have a look at the docstring of the constructors of the LS implementations within solidlsp (e.g., for C# or PHP) to see which options are available.
 # No documentation on options means no options are available.
 ls_specific_settings: {}
+
+# list of mode names to be activated additionally for this project, e.g. ["query-projects"]
+# The full set of modes to be activated is base_modes (from global config) + default_modes + added_modes.
+# See https://oraios.github.io/serena/02-usage/050_configuration.html#modes
+added_modes:

packages/extension/public/_locales/de/messages.json

@@ -1247,17 +1247,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Kann auf dieser Seite nicht ausgeführt werden (Seiten-URL stimmt nicht überein)"
-  },
-  "commandHub_add_success": {
-    "message": "Befehl hinzugefügt!"
-  },
-  "commandHub_add_error": {
-    "message": "Fehler beim Hinzufügen des Befehls."
-  },
-  "commandHub_delete_success": {
-    "message": "Befehl gelöscht."
-  },
-  "commandHub_delete_error": {
-    "message": "Fehler beim Löschen des Befehls."
   }
-}
+}

packages/extension/public/_locales/en/messages.json

@@ -1253,17 +1253,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Cannot run on this page (page URL does not match)"
-  },
-  "commandHub_add_success": {
-    "message": "Command added!"
-  },
-  "commandHub_add_error": {
-    "message": "Failed to add command."
-  },
-  "commandHub_delete_success": {
-    "message": "Command deleted."
-  },
-  "commandHub_delete_error": {
-    "message": "Failed to delete command."
   }
 }

packages/extension/public/_locales/es/messages.json

@@ -1247,17 +1247,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "No se puede ejecutar en esta página (la URL de la página no coincide)"
-  },
-  "commandHub_add_success": {
-    "message": "¡Comando añadido!"
-  },
-  "commandHub_add_error": {
-    "message": "Error al añadir el comando."
-  },
-  "commandHub_delete_success": {
-    "message": "Comando eliminado."
-  },
-  "commandHub_delete_error": {
-    "message": "Error al eliminar el comando."
   }
-}
+}

packages/extension/public/_locales/fr/messages.json

@@ -1247,17 +1247,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Impossible d'exécuter sur cette page (l'URL de la page ne correspond pas)"
-  },
-  "commandHub_add_success": {
-    "message": "Commande ajoutée !"
-  },
-  "commandHub_add_error": {
-    "message": "Échec de l'ajout de la commande."
-  },
-  "commandHub_delete_success": {
-    "message": "Commande supprimée."
-  },
-  "commandHub_delete_error": {
-    "message": "Échec de la suppression de la commande."
   }
-}
+}

packages/extension/public/_locales/hi/messages.json

@@ -1247,17 +1247,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "इस पेज पर नहीं चला सकते (पृष्ठ URL मेल नहीं खाता)"
-  },
-  "commandHub_add_success": {
-    "message": "कमांड जोड़ा गया!"
-  },
-  "commandHub_add_error": {
-    "message": "कमांड जोड़ने में विफल।"
-  },
-  "commandHub_delete_success": {
-    "message": "कमांड हटाया गया।"
-  },
-  "commandHub_delete_error": {
-    "message": "कमांड हटाने में विफल।"
   }
-}
+}

packages/extension/public/_locales/id/messages.json

@@ -1250,17 +1250,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Tidak dapat dijalankan di halaman ini (URL Halaman tidak cocok)"
-  },
-  "commandHub_add_success": {
-    "message": "Perintah ditambahkan!"
-  },
-  "commandHub_add_error": {
-    "message": "Gagal menambahkan perintah."
-  },
-  "commandHub_delete_success": {
-    "message": "Perintah dihapus."
-  },
-  "commandHub_delete_error": {
-    "message": "Gagal menghapus perintah."
   }
-}
+}

packages/extension/public/_locales/it/messages.json

@@ -1247,17 +1247,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Impossibile eseguire su questa pagina (l'URL della pagina non corrisponde)"
-  },
-  "commandHub_add_success": {
-    "message": "Comando aggiunto!"
-  },
-  "commandHub_add_error": {
-    "message": "Impossibile aggiungere il comando."
-  },
-  "commandHub_delete_success": {
-    "message": "Comando eliminato."
-  },
-  "commandHub_delete_error": {
-    "message": "Impossibile eliminare il comando."
   }
-}
+}

packages/extension/public/_locales/ja/messages.json

@@ -1244,17 +1244,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "このページでは実行できません（ページURLが一致しません）"
-  },
-  "commandHub_add_success": {
-    "message": "コマンドを追加しました！"
-  },
-  "commandHub_add_error": {
-    "message": "コマンドの追加に失敗しました。"
-  },
-  "commandHub_delete_success": {
-    "message": "コマンドを削除しました。"
-  },
-  "commandHub_delete_error": {
-    "message": "コマンドの削除に失敗しました。"
   }
 }

packages/extension/public/_locales/ko/messages.json

@@ -1247,17 +1247,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "이 페이지에서 실행할 수 없습니다 (페이지 URL이 일치하지 않습니다)"
-  },
-  "commandHub_add_success": {
-    "message": "명령이 추가되었습니다!"
-  },
-  "commandHub_add_error": {
-    "message": "명령 추가에 실패했습니다."
-  },
-  "commandHub_delete_success": {
-    "message": "명령이 삭제되었습니다."
-  },
-  "commandHub_delete_error": {
-    "message": "명령 삭제에 실패했습니다."
   }
-}
+}

packages/extension/public/_locales/ms/messages.json

@@ -1250,17 +1250,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Tidak boleh dijalankan pada halaman ini (URL Halaman tidak sepadan)"
-  },
-  "commandHub_add_success": {
-    "message": "Arahan ditambahkan!"
-  },
-  "commandHub_add_error": {
-    "message": "Gagal menambah arahan."
-  },
-  "commandHub_delete_success": {
-    "message": "Arahan dipadam."
-  },
-  "commandHub_delete_error": {
-    "message": "Gagal memadam arahan."
   }
-}
+}

packages/extension/public/_locales/pt_BR/messages.json

@@ -1250,17 +1250,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Não é possível executar nesta página (URL da página não corresponde)"
-  },
-  "commandHub_add_success": {
-    "message": "Comando adicionado!"
-  },
-  "commandHub_add_error": {
-    "message": "Falha ao adicionar o comando."
-  },
-  "commandHub_delete_success": {
-    "message": "Comando excluído."
-  },
-  "commandHub_delete_error": {
-    "message": "Falha ao excluir o comando."
   }
-}
+}

packages/extension/public/_locales/pt_PT/messages.json

@@ -1250,17 +1250,5 @@
   },
   "Menu_disabled_urlNotMatch": {
     "message": "Não é possível executar nesta página (URL da página não corresponde)"
-  },
-  "commandHub_add_success": {
-    "message": "Comando adicionado!"
-  },
-  "commandHub_add_error": {
-    "message": "Falha ao adicionar o comando."
-  },
-  "commandHub_delete_success": {
-    "message": "Comando eliminado."
-  },
-  "commandHub_delete_error": {
-    "message": "Falha ao eliminar o comando."
   }
-}
+}