Show all HF models individually in SWITCH LLM popup

- providers list now has 4 separate HF entries (Zephyr, Qwen, Llama, Mistral)
- SwitchProviderRequest accepts optional model field
- switch_llm_provider() forwards model to create_llm_client()
- /llm/providers returns current_model so UI can checkmark the right row
- active checkmark matches on both provider id + model

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

src/soci/api/routes.py

@@ -263,24 +263,29 @@ async def get_conversations(include_history: bool = True, limit: int = 20):
 
 class SwitchProviderRequest(BaseModel):
     provider: str
+    model: Optional[str] = None
 
 
 @router.get("/llm/providers")
 async def get_llm_providers():
     """Return available LLM providers (those with API keys set) and the current one."""
     import os
-    from soci.api.server import get_llm_provider
+    from soci.api.server import get_llm_provider, get_simulation
     current = get_llm_provider()
+    current_model = getattr(get_simulation().llm, "default_model", "")
     providers = []
     if os.environ.get("ANTHROPIC_API_KEY"):
-        providers.append({"id": "claude",  "label": "Claude (Anthropic)", "icon": "◆"})
+        providers.append({"id": "claude",  "label": "Claude Haiku",        "icon": "◆", "model": ""})
     if os.environ.get("GROQ_API_KEY"):
-        providers.append({"id": "groq",    "label": "Groq (Llama 8B)",    "icon": "⚡"})
+        providers.append({"id": "groq",    "label": "Groq Llama 8B",       "icon": "⚡", "model": ""})
     if os.environ.get("GEMINI_API_KEY"):
-        providers.append({"id": "gemini",  "label": "Gemini 2.0 Flash",   "icon": "✦"})
-    providers.append(    {"id": "hf",      "label": "HF Zephyr 7B",        "icon": "🤗"})
-    providers.append(    {"id": "ollama",  "label": "Ollama (local)",      "icon": "🦙"})
-    return {"current": current, "providers": providers}
+        providers.append({"id": "gemini",  "label": "Gemini 2.0 Flash",    "icon": "✦", "model": ""})
+    providers.append({"id": "hf", "model": "HuggingFaceH4/zephyr-7b-beta",           "label": "HF Zephyr 7B",    "icon": "🤗"})
+    providers.append({"id": "hf", "model": "Qwen/Qwen2.5-7B-Instruct",               "label": "HF Qwen 2.5 7B",  "icon": "🤗"})
+    providers.append({"id": "hf", "model": "meta-llama/Llama-3.2-3B-Instruct",       "label": "HF Llama 3.2 3B", "icon": "🤗"})
+    providers.append({"id": "hf", "model": "mistralai/Mistral-7B-Instruct-v0.3",     "label": "HF Mistral 7B",   "icon": "🤗"})
+    providers.append({"id": "ollama", "label": "Ollama (local)",           "icon": "🦙", "model": ""})
+    return {"current": current, "current_model": current_model, "providers": providers}
 
 
 @router.get("/llm/test")
@@ -309,8 +314,8 @@ async def set_llm_provider(req: SwitchProviderRequest):
     if req.provider not in valid:
         raise HTTPException(status_code=400, detail=f"Unknown provider '{req.provider}'")
     try:
-        await switch_llm_provider(req.provider)
-        return {"ok": True, "provider": req.provider}
+        await switch_llm_provider(req.provider, model=req.model or None)
+        return {"ok": True, "provider": req.provider, "model": req.model}
     except Exception as e:
         raise HTTPException(status_code=500, detail=str(e))
 

src/soci/api/server.py

@@ -57,14 +57,14 @@ def get_llm_provider() -> str:
     return _llm_provider
 
 
-async def switch_llm_provider(provider: str) -> None:
+async def switch_llm_provider(provider: str, model: Optional[str] = None) -> None:
     """Hot-swap the LLM client on the running simulation."""
     global _llm_provider, _simulation
     assert _simulation is not None, "Simulation not initialized"
-    new_llm = create_llm_client(provider=provider)
+    new_llm = create_llm_client(provider=provider, model=model)
     _simulation.llm = new_llm
     _llm_provider = provider
-    logger.info(f"LLM provider switched to: {provider} ({new_llm.__class__.__name__})")
+    logger.info(f"LLM provider switched to: {provider}/{model or 'default'} ({new_llm.__class__.__name__})")
 
 
 async def simulation_loop(sim: Simulation, db: Database, tick_delay: float = 2.0) -> None:

web/index.html

@@ -3373,19 +3373,22 @@ document.getElementById('llm-model').addEventListener('click', async (e) => {
     existing.forEach(el => el.remove());
 
     for (const p of data.providers) {
+      const isActive = p.id === data.current && (p.model === data.current_model || (!p.model && p.id !== 'hf'));
       const row = document.createElement('div');
-      row.className = 'llm-opt' + (p.id === data.current ? ' active' : '');
-      row.innerHTML = `<span class="llm-check">${p.id === data.current ? '✔' : ''}</span>
+      row.className = 'llm-opt' + (isActive ? ' active' : '');
+      row.innerHTML = `<span class="llm-check">${isActive ? '✔' : ''}</span>
                        <span style="font-size:15px">${p.icon}</span>
                        <span>${p.label}</span>`;
       row.addEventListener('click', async () => {
         popup.style.display = 'none'; _llmPopupOpen = false;
-        if (p.id === data.current) return;
+        if (isActive) return;
         try {
+          const body = {provider: p.id};
+          if (p.model) body.model = p.model;
           const r = await fetch(`${API_BASE}/llm/provider`, {
             method: 'POST',
             headers: {'Content-Type': 'application/json'},
-            body: JSON.stringify({provider: p.id}),
+            body: JSON.stringify(body),
           });
           if (!r.ok) { const err = await r.json(); showToast(`LLM switch failed: ${err.detail}`, 'event'); return; }
           showToast(`Switched to ${p.label}`, 'conv');