| name | session-isolation-validator |
| description | Validate that builtin servers and external MCP managers maintain proper session isolation. Use when auditing session isolation, checking for cross-session state leakage, or verifying per-session MCPServiceProxy instantiation. |
Session Isolation Validator
Validate that LibrAgent maintains proper session isolation across all MCP servers and managers.
Validation Rules
Builtin Servers
External MCP Managers
Frontend
Audit Commands
grep -r "lazy_static\|once_cell\|global\|GLOBAL" src-tauri/src/mcp/
grep -r "static mut\|unsafe" src-tauri/src/mcp/
grep -r "session_id\|sessionId" src-tauri/src/mcp/ | head -50
grep -r "MCPServiceProxy" src-tauri/src/
Key Invariants
- No Global State: Complete isolation prevents cross-session interference
- Stateful Tools: Planning todos, Knowledge items, Browser sessions scoped to session ID
- Session-Specific Workspace: Each agent operates in isolated directory
- Tool State Isolation: Each session gets isolated tool instances