Grok terminal cannot use local MCP tools after successful setup
What is happening
Location: Project > Terminal > Grok > MCP Servers
Mô tả:
MCP trong Grok đã được thêm thành công và trạng thái hiển thị ready, nhưng các MCP local như 1aivault và 1devtool lại báo no tools (server may not be connected), khiến Grok không thể gọi các tool này trong terminal.
Trong màn hình MCP Servers, phần Managed by grok.com có tool và trạng thái ready, nhưng các MCP local cần dùng cho workflow trong 1DevTool không có tool nào khả dụng. Vì vậy dù MCP đã được cấu hình, Grok terminal vẫn không dùng được các tool local.
Attachment:
Ảnh đính kèm cho thấy 1aivault [ready] và 1devtool [ready] đều hiển thị no tools (server may not be connected) trong danh sách MCP Servers của Grok.
Expected result
See the description.
Actual result
Location: Project > Terminal > Grok > MCP Servers Mô tả: MCP trong Grok đã được thêm thành công và trạng thái hiển thị `ready`, nhưng các MCP local như `1aivault` và `1devtool` lại báo `no tools (server may not be connected)`, khiến Grok không thể gọi các tool này trong terminal. Trong màn hình MCP Servers, phần `Managed by grok.com` có tool và trạng thái ready, nhưng các MCP local cần dùng cho workflow trong 1DevTool không có tool nào khả dụng. Vì vậy dù MCP đã được cấu hình, Grok terminal vẫn không dùng được các tool local. Attachment: Ảnh đính kèm cho thấy `1aivault [ready]` và `1devtool [ready]` đều hiển thị `no tools (server may not be connected)` trong danh sách MCP Servers của Grok.
How to reproduce
Imported from UserJot — original report did not use structured steps.
Reproducibility: Unknown · Impact: Minor issue
Environment
- VERSION
- v1.39.0
- OS
- —
- ARCH
- —
- CHANNEL
- stable
Attachments
userjot-obqu3py0f6tk0vel9veghcip.png · 138 KB
Resolution progress
PENDING
—
REVIEWING
—
IN PROGRESS
—
COMPLETED
—
Discussion0
Newest first- No comments yet. Add context or ask a question below.
Sign in to comment, vote and follow this request.
Sign in to reply