core-agent-ide/codex-rs/tui/src/onboarding
Michael Bolin 5881c0d6d4
fix: remove mcp-types from app server protocol (#4537)
We continue the separation between `codex app-server` and `codex
mcp-server`.

In particular, we introduce a new crate, `codex-app-server-protocol`,
and migrate `codex-rs/protocol/src/mcp_protocol.rs` into it, renaming it
`codex-rs/app-server-protocol/src/protocol.rs`.

Because `ConversationId` was defined in `mcp_protocol.rs`, we move it
into its own file, `codex-rs/protocol/src/conversation_id.rs`, and
because it is referenced in a ton of places, we have to touch a lot of
files as part of this PR.

We also decide to get away from proper JSON-RPC 2.0 semantics, so we
also introduce `codex-rs/app-server-protocol/src/jsonrpc_lite.rs`, which
is basically the same `JSONRPCMessage` type defined in `mcp-types`
except with all of the `"jsonrpc": "2.0"` removed.

Getting rid of `"jsonrpc": "2.0"` makes our serialization logic
considerably simpler, as we can lean heavier on serde to serialize
directly into the wire format that we use now.
2025-10-01 02:16:26 +00:00
..
auth.rs fix: remove mcp-types from app server protocol (#4537) 2025-10-01 02:16:26 +00:00
mod.rs refactor onboarding screen to a separate "app" (#2524) 2025-08-20 20:47:24 +00:00
onboarding_screen.rs fix: remove mcp-types from app server protocol (#4537) 2025-10-01 02:16:26 +00:00
trust_directory.rs prefer ratatui Stylized for constructing lines/spans (#3068) 2025-09-02 23:19:54 +00:00
welcome.rs chore: clippy on redundant closure (#4058) 2025-09-22 19:30:16 +00:00