{
  "messages": [
    {
      "role": "system",
      "content": "You are a helpful AI assistant with access to tools. Use tools when they help answer the user's question. Be concise and accurate."
    },
    {
      "role": "user",
      "content": "How do I check what's running on the server — MCP servers, LSP, providers?"
    },
    {
      "role": "assistant",
      "content": "<think>\nInfra and server tools — inspect the opencode server's infrastructure: MCP servers, LSP, formatters, providers, agents.\n</think>\n\nTwo groups of inspection tools for the opencode server infrastructure:\n\n**Infra tools** (MCP, LSP, formatters):\n- **infra_mcp** — status of all MCP servers: connected, disconnected, errors. Shows which tool providers are healthy.\n- **infra_mcp_add** — dynamically add a new MCP server without editing config.\n- **infra_mcp_connect** — start a configured MCP server by name.\n- **infra_mcp_disconnect** — stop a running MCP server.\n- **infra_lsp** — status of all running LSP (language) servers.\n- **infra_formatters** — status of all configured code formatters.\n\n**Server tools** (providers, agents, metadata):\n- **server_health** — check server health and version.\n- **server_providers** — list all configured LLM providers (anthropic, ollama, vllm) and their available models.\n- **server_agents** — list all available agents (core, phone, build, etc.) with their model, description, and config.\n- **server_commands** — list all available slash commands.\n\nUse `infra_mcp` when tools are missing or failing — it shows which MCP servers are down. Use `server_providers` to see what models are available before switching."
    }
  ]
}