Update uvx run instructions to include Python version (3.13)

uvx ignores not only the lock file but also the Python
version specified in pyproject.toml.
https://github.com/astral-sh/uv/issues/8206#issuecomment-4113536371

docs/02-usage/020_running.md

@@ -21,7 +21,7 @@ In general, to get help, append `--help` to the command, i.e.
 
 `uvx` is part of `uv`. It can be used to run the latest version of Serena directly from the repository, without an explicit local installation.
 
-    uvx --from git+https://github.com/oraios/serena serena 
+    uvx -p 3.13 --from git+https://github.com/oraios/serena serena 
 
 Explore the CLI to see some of the customization options that serena provides (more info on them below).
 
@@ -124,7 +124,7 @@ case, you can simply run the `start-mcp-server` command without any additional o
 
 For example, to run the server in stdio mode via `uvx`, you would run:
 
-    uvx --from git+https://github.com/oraios/serena serena start-mcp-server 
+    uvx -p 3.13 --from git+https://github.com/oraios/serena serena start-mcp-server 
  
 See the section ["Configuring Your MCP Client"](030_clients) for specific information on how to configure your MCP client (e.g. Claude Code, Codex, Cursor, etc.)
 to use such a launch command.
@@ -143,7 +143,7 @@ via the `--port` option.
 For example, to run the Serena MCP server in streamable HTTP mode on port 9121 using uvx,
 you would run
 
-    uvx --from git+https://github.com/oraios/serena serena start-mcp-server --transport streamable-http --port 9121
+    uvx -p 3.13 --from git+https://github.com/oraios/serena serena start-mcp-server --transport streamable-http --port 9121
 
 and then configure your client to connect to `http://localhost:9121/mcp`.
 

docs/02-usage/030_clients.md

@@ -79,7 +79,7 @@ Serena is a great way to make Claude Code both cheaper and more powerful!
 use this command:
 
 ```shell
-claude mcp add serena -- uvx --from git+https://github.com/oraios/serena serena start-mcp-server --context claude-code --project "$(pwd)"
+claude mcp add serena -- uvx -p 3.13 --from git+https://github.com/oraios/serena serena start-mcp-server --context claude-code --project "$(pwd)"
 ```
 
 Note:
@@ -92,7 +92,7 @@ Note:
 **Global Configuration**. Alternatively, use `--project-from-cwd` for user-level configuration that works across all projects:
 
 ```shell
-claude mcp add --scope user serena -- uvx --from git+https://github.com/oraios/serena serena start-mcp-server --context=claude-code --project-from-cwd
+claude mcp add --scope user serena -- uvx -p 3.13 --from git+https://github.com/oraios/serena serena start-mcp-server --context=claude-code --project-from-cwd
 ```
 
 Whenever you start Claude Code, Serena will search up from the current directory for `.serena/project.yml` or `.git` markers,

docs/02-usage/040_workflow.md

@@ -29,7 +29,7 @@ To explicitly create a project, use the following command while in the project d
 
 For instance, when using `uvx`, run
 
-    uvx --from git+https://github.com/oraios/serena serena project create [options]
+    uvx -p 3.13 --from git+https://github.com/oraios/serena serena project create [options]
 
  * For an empty project, you will need to specify the programming language
    (e.g., `--language python`). 
@@ -201,7 +201,7 @@ Depending on the language backend being used, the management of resources for th
 
   where `<serena>` is your way of running Serena. For example, when using `uvx`, run
 
-      uvx --from git+https://github.com/oraios/serena serena start-project-server
+      uvx -p 3.13 --from git+https://github.com/oraios/serena serena start-project-server
 
 ### Multiple Agents Accessing a Single Serena Instance