import asyncio

from mcp_server import codex_server


def test_codex_server_has_only_repository_coordination_tools() -> None:
    tools = asyncio.run(codex_server.mcp.list_tools())
    assert {tool.name for tool in tools} == {
        "get_domain_summary",
        "get_messages",
        "mark_message_read",
        "add_progress_event",
        "record_decision",
        "update_task_status",
    }


def test_codex_server_uses_distinct_server_identity() -> None:
    assert codex_server.mcp.name == "dev-hub-codex"