Skip to content

feat: add devinfra MCP config for Codex CLI#115517

Open
sentry-junior[bot] wants to merge 1 commit into
masterfrom
jr/add-devinfra-mcp-codex
Open

feat: add devinfra MCP config for Codex CLI#115517
sentry-junior[bot] wants to merge 1 commit into
masterfrom
jr/add-devinfra-mcp-codex

Conversation

@sentry-junior
Copy link
Copy Markdown
Contributor

@sentry-junior sentry-junior Bot commented May 13, 2026

Summary

Adds the devinfra-mcp server configuration so that Codex CLI (and other agents) can access dev-infra documentation when working in the sentry repo.

Changes

  1. .codex/config.toml (new) — native Codex config with both the sentry and devinfra-mcp MCP servers. Codex reads this directly from the project root.

  2. .claude/settings.json — adds devinfra-mcp to enabledMcpjsonServers. Codex also has an auto-migration path that reads Claude's .mcp.json, but it filters servers through this allowlist. Previously only sentry was listed, so devinfra-mcp was being skipped during migration.

What is devinfra-mcp?

The devinfra-mcp (https://devinfra-mcp.getsentry.net/mcp) is a doc retrieval service that indexes dev-infra documentation. It exposes two tools:

  • list_docs — full doc catalog
  • search_docs(query) — keyword search

It covers devenv, devservices, the Sentry dev server, testing, CI/CD, GoCD, deployment, craft, sentry-options, Flagpole, and more. This helps agents that struggle with setting up or working in the sentry dev environment.

Codex config format

Codex uses TOML for project config (.codex/config.toml). For streamable HTTP MCP servers, the format is:

[mcp_servers.server-name]
url = "https://example.com/mcp"

ref: https://github.com/openai/codex — see codex-rs/config/src/mcp_types.rs for the schema.

- Add .codex/config.toml with sentry and devinfra-mcp servers for
  native Codex CLI support
- Add devinfra-mcp to enabledMcpjsonServers in .claude/settings.json
  so Codex's auto-migration from .mcp.json also picks it up

The devinfra-mcp provides documentation on devenv, devservices, the
dev server, testing, CI/CD, deployment, and troubleshooting. This
helps agents set up and work with the Sentry dev environment.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants