Install SageMath in Bob Shell

What you need first

• Bob Shell, installed.
• uv, which gives the uvx command the server starts with.

Steps

1. Open ~/.codex/config.toml, or create it. The Codex CLI, its IDE extension and the ChatGPT desktop app share this file.
2. Add this table at the end of the file.

{
  "mcpServers": {
    "sagemath-mcp": {
      "command": "uvx",
      "args": ["sagemath-mcp==0.9.5"]
    }
  }
}

3. Save the file and restart Bob Shell.

Check it worked

Ask Bob Shell: List the tools of sagemath-mcp.

If it does not start

spawn uvx ENOENT

uv is not on the PATH that Bob Shell sees. Install it, or write the full path of uvx in the config.

Nothing changes after a restart

The file is not valid JSON any more. Look for a missing comma where the block was added.