Prerequisites
Codex reads MCP servers from~/.codex/config.toml (or .codex/config.toml for a project-scoped config).
- Moodle
- Ed Discussion
Verify the connection
/mcp to see active servers and their tools.Documentation Index
Fetch the complete documentation index at: /llms.txt
Use this file to discover all available pages before exploring further.
Add the Moodle and Ed Discussion MCP servers to Codex CLI.
~/.codex/config.toml (or .codex/config.toml for a project-scoped config).
moodle mcp connectmoodle mcp connect codex
~/.codex/config.toml, wrapped in # >>> moodle-cli mcp:... markers so it can find and update its own entry later:[mcp_servers."moodle-<profile>"]
command = "moodle"
args = ["mcp", "bridge", "--profile", "<profile>"]
[mcp_servers."moodle"]
url = "https://<worker-host>/mcp"
http_headers = { Authorization = "Bearer <your-token>" }
<your-token> with moodle mcp connect codex --mode remote --show-token.codex mcp add edstem --env EDSTEM_TOKEN=<your-token> -- edstem-mcp
config.toml:[mcp_servers.edstem]
command = "edstem-mcp"
env_vars = ["EDSTEM_TOKEN"]
[mcp_servers.edstem]
url = "https://edstem.tuuhub.com/mcp"
codex mcp login edstem to complete the OAuth sign-in.[mcp_servers.edstem]
url = "https://<your-worker>/mcp"
http_headers = { Authorization = "Bearer <your-token>" }
codex mcp list
/mcp to see active servers and their tools.