Repository navigation

Codex plugin 0.3.1: bundle devtools 0.3.1 with stored MCP names - #2

Merged

MainSequenceDev merged 1 commit into

mainfrom

codex/devtools-0.3.1

Oct 22, 2026

Merged

Codex plugin 0.3.1: bundle devtools 0.3.1 with stored MCP names#2
MainSequenceDev merged 1 commit into
mainfrom
codex/devtools-0.3.1

Commits on Oct 22, 2026
- Codex plugin 0.3.1: bundle devtools 0.3.1 with stored MCP names
  
  MainSequenceDev
  and
  claude
  committed
  7baa4ee