[Claude Desktop] MCP Solver integration is detected and running, but tool UI does not appear (no hammer/spina) #5
Description
Hi,
I’m a student at the University of Udine currently working on a project with Prof. Konstantin Schekotihin , where we are exploring integrations between Claude Desktop and constraint solvers using your mcp-solver framework.
I’ve successfully followed the installation instructions and confirmed that everything is working on the mcp-solver side:
- The server starts successfully
- test-setup-mzn passes all checks
- test-setup-client passes all checks
- Claude Desktop logs show that MCP is detected and initialized
- No errors are shown in mcp.log
Despite this, Claude Desktop does not show the hammer icon nor the plug icon that indicate tool availability. The tool seems to be working under the hood (confirmed by logs), but the UI does not reflect it and does not allow attaching the prompt or selecting the integration.
Here are some relevant details:
- OS: macOS (Sequoia)
- Claude Desktop: latest version from https://claude.ai/download
- uv version: 0.7.3
- Python: 3.12
It seems like a UI detection issue on Claude’s side. I would greatly appreciate any suggestions on how to fix this issue or what might be causing it.
Best regards,
Andrea Longato