Grok MCP still fails when MCP server name starts with a number
What is happening
Location: Project > Terminal > Grok > MCP Servers
Mô tả:
Lỗi MCP Grok vẫn chưa được fix hoàn toàn vì Grok không nhận đúng tool khi MCP server name bắt đầu bằng số.
Trong kiểm tra hiện tại, MCP 1aivault vẫn hiển thị no tools, trong khi cùng executable và cùng database nếu đổi tên thành oneaivault thì Grok nhận được đầy đủ 29 tools. Tương tự, onedevtool cũng nhận được 8 tools.
Điều này cho thấy vấn đề có thể nằm ở cách Grok xử lý hoặc lọc MCP server name bắt đầu bằng số, không phải do executable, database, hay tool list của MCP bị lỗi.
Attachment:
Ảnh đính kèm cho thấy 1aivault vẫn no tools, còn oneaivault nhận đủ 29 tools và onedevtool nhận 8 tools sau khi đổi tên MCP không bắt đầu bằng số.
Expected result
See the description.
Actual result
Location: Project > Terminal > Grok > MCP Servers Mô tả: Lỗi MCP Grok vẫn chưa được fix hoàn toàn vì Grok không nhận đúng tool khi MCP server name bắt đầu bằng số. Trong kiểm tra hiện tại, MCP `1aivault` vẫn hiển thị `no tools`, trong khi cùng executable và cùng database nếu đổi tên thành `oneaivault` thì Grok nhận được đầy đủ 29 tools. Tương tự, `onedevtool` cũng nhận được 8 tools. Điều này cho thấy vấn đề có thể nằm ở cách Grok xử lý hoặc lọc MCP server name bắt đầu bằng số, không phải do executable, database, hay tool list của MCP bị lỗi. Attachment: Ảnh đính kèm cho thấy `1aivault` vẫn `no tools`, còn `oneaivault` nhận đủ 29 tools và `onedevtool` nhận 8 tools sau khi đổi tên MCP không bắt đầu bằng số.
How to reproduce
Imported from UserJot — original report did not use structured steps.
Reproducibility: Unknown · Impact: Minor issue
Environment
- VERSION
- v1.40.0
- OS
- —
- ARCH
- —
- CHANNEL
- stable
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