Qurak

Máy chủ MCP

Kết nối Claude, Cursor, VS Code hay bất kỳ client MCP nào với bộ máy Qurak.

Kết nối mua được gì cho trợ lý của bạn

Một trợ lý đoán mò số học sẽ sai vừa đủ thường xuyên để thành vấn đề. Kết nối vào đây, nó giao phần toán học cho một bộ máy thật và trả về câu trả lời được tính ra thay vì một câu trả lời nghe hợp lý — giải tích, phương trình vi phân, đại số, thống kê, đồ thị.

Kết nối nói cho agent của bạn sự thật về chính nó trước khi tốn bất kỳ tính toán nào: check_support trả lời một hàm có tồn tại không, get_capabilities báo các giới hạn đang thực sự áp dụng, và plan_computation biến một mục tiêu thành một phương pháp khả thi kèm các công thức đã kiểm chứng. Một agent sẽ tiếp tục gọi một công cụ dám nói trước điều nó không làm được.

Nó mở trên mọi gói, kể cả gói miễn phí, và cả kết nối chỉ là một URL. Thứ gói trả phí mua là ngân sách tính toán và tốc độ — không bao giờ là quyền truy cập.

Tạo một token   Đăng nhập

Endpoint

URLPhương thức truyềnDùng
https://qurak.com/mcpStreamable HTTPNên dùng. Hãy dùng cái này trừ khi client của bạn không thể.
https://qurak.com/mcp/sseHTTP+SSE (2024-11-05)Đã lỗi thời, chỉ dành cho client cũ.

Phương thức truyền là stateless: nó không phát protocol session id nào, nên GETDELETE trên /mcp trả lời 405 theo thiết kế. Điều đó tách biệt với session_id không bắt buộc mà các công cụ tính toán nhận — xem Công cụ — vốn là một đối số công cụ do bạn chọn, không phải thứ phương thức truyền phát ra.

Hai cách đăng nhập

Hầu hết client lo việc này cho bạn. Chọn client của bạn bên dưới và làm theo đúng một con đường nó hiển thị — bạn không cần cả hai.

Phương thứcCách hoạt độngDùng khi
OAuthClient mở trình duyệt của bạn, bạn đăng nhập Qurak và chấp thuận yêu cầu. Không thông tin xác thực nào phải sao chép bằng tay.Client của bạn chỉ hỏi một URL — Claude Desktop và claude.ai không có chỗ để đặt token.
Token BearerBạn tạo một token và đặt nó vào header Authorization trong cấu hình của client.Client của bạn hỗ trợ header và bạn muốn một thông tin xác thực cố định — hữu ích cho CI hoặc máy dùng chung.

OAuth yêu cầu những gì

ScopeCấp quyền
qurak:evaluateChạy biểu thức và tạo đồ thị trên tài khoản của bạn. Tiêu ngân sách tính toán và giới hạn tần suất của gói bạn.
qurak:docsĐọc tài liệu tham chiếu hàm. Không tốn tính toán, nên một kết nối chỉ-đọc-tài-liệu là thứ an toàn để cấp rộng rãi.

Bên dưới, đây là một luồng OAuth 2.1 chuẩn với PKCE, khám phá được tại /.well-known/oauth-protected-resource/.well-known/oauth-authorization-server (cũng được trả lời dưới /.well-known/openid-configuration, nơi một số client thử trước). Một client có thể tự nhận dạng theo ba cách — một client ID metadata document, đăng ký động, hoặc một client ID và secret bạn đăng ký bên dưới — và client hỗ trợ bất kỳ cách nào sẽ tự tìm thấy.

Thiết lập client

Dòng lệnh
claude mcp add --transport http qurak https://qurak.com/mcp \
  --header "Authorization: Bearer qk_..."

<code>type</code> là bắt buộc. Một mục có <code>url</code> mà không có <code>type</code> sẽ bị đọc là server stdio và bị bỏ qua trong im lặng.

.mcp.json
{
  "mcpServers": {
    "qurak": {
      "type": "http",
      "url": "https://qurak.com/mcp",
      "headers": { "Authorization": "Bearer qk_..." }
    }
  }
}

Bỏ cờ <code>--header</code> để dùng OAuth thay thế: Claude Code mở trình duyệt ở lần kết nối đầu tiên.

  1. Mở Settings, rồi Connectors.
  2. Chọn Add custom connector.
  3. Dán <code>https://qurak.com/mcp</code> và xác nhận.
  4. Một cửa sổ trình duyệt mở ra. Đăng nhập Qurak và chấp thuận yêu cầu.

Đường này bắt buộc chỉ dùng OAuth — không có ô nào cho token. Các bước tương tự áp dụng cho connectors của claude.ai.

  1. Mở Settings, rồi MCP.
  2. Thêm một server với URL <code>https://qurak.com/mcp</code>.
  3. Chấp thuận lời nhắc của trình duyệt.

Cursor ưu tiên OAuth khi server công bố discovery metadata, và server này có — nên một khối <code>headers</code> trong cấu hình của nó nhiều khả năng bị bỏ qua. Hãy chờ luồng trình duyệt, và để nó chạy.

Khóa là <code>servers</code>, không phải <code>mcpServers</code>.

.vscode/mcp.json
{
  "servers": {
    "qurak": {
      "type": "http",
      "url": "https://qurak.com/mcp",
      "headers": { "Authorization": "Bearer ${input:qurak-token}" }
    }
  },
  "inputs": [
    { "id": "qurak-token", "type": "promptString",
      "description": "Qurak Bearer token", "password": true }
  ]
}

Dùng <code>inputs</code> giữ token nằm ngoài tệp, nên cấu hình an toàn để commit.

Nếu client của bạn chỉ nói được phương thức HTTP+SSE cũ, hãy trỏ nó tới <code>https://qurak.com/mcp/sse</code> thay thế.

URL
https://qurak.com/mcp

Công cụ

Công cụTác dụngScope
evaluateTính một biểu thức Qurak (cú pháp tương thích .wl). Trả về kết quả đã định dạng, kèm thời gian thực hiện. Tùy chọn session_id, format (Standard, TeX, JSON) và timeout_ms.qurak:evaluate
plotChạy một biểu thức vẽ và trả về biểu đồ dưới dạng ảnh PNG. Nhận cùng session_idtimeout_ms.qurak:evaluate
clear_sessionLoại bỏ một phiên tính toán và mọi thứ được định nghĩa trong đó.qurak:evaluate
search_docsTìm trong tài liệu tham chiếu hàm theo tên hoặc mô tả, cùng các công thức tác vụ bên cạnh. Tùy chọn kind (function, task, any); mỗi kết quả nói rõ nó thuộc loại nào.qurak:docs
get_taskMột công thức tác vụ đầy đủ: các bước theo thứ tự, và đầu ra mỗi bước tạo ra khi nó được kiểm chứng trên bộ máy này. Các bước chạy tuần tự trong một phiên.qurak:docs
get_symbolMọi điều đã biết về một ký hiệu: tính khả dụng, dạng, tùy chọn, ví dụ.qurak:docs
check_supportKiểm tra những hàm cụ thể có khả dụng không, trước khi dùng chúng.qurak:docs
plan_computationĐặt nền cho một mục tiêu trước khi tính: phán quyết hỗ trợ cho từng hàm trong một biểu thức nháp, các công thức đã kiểm chứng gần nhất, và một khuyến nghị định tuyến theo chính các con số ngân sách của kết nối này. Không tốn tính toán.qurak:docs
evaluate_asyncGửi một biểu thức dưới dạng tác vụ nền với ngân sách hàng phút tùy theo gói, cho phần việc mà ngân sách tương tác không chứa nổi. Trả về một job id ngay lập tức; tác vụ là hạn mức theo ngày.qurak:evaluate
get_job
list_jobs
cancel_job
Trạng thái của một tác vụ và, khi xong, kết quả đầy đủ của nó (truyền wait_ms và một lời gọi sẽ long-poll thay cho hàng chục lần thăm dò dồn dập); các tác vụ gần đây trên tài khoản; việc hủy. Thăm dò không tốn phí.qurak:evaluate
simulate_circuitMô phỏng một mạch lượng tử - statevector lý tưởng, bộ cổng chuẩn - và trả về biểu đồ tần suất phép đo của nó. Chạy dưới dạng tác vụ nền, với trần qubit theo gói.qurak:evaluate
save_guide
get_guide
list_guides
delete_guide
Ghi chú bền trên tài khoản: lưu các định nghĩa và giả định của một mô hình đang dùng dưới một cái tên, và đọc lại chúng trong một cuộc trò chuyện sau. Đọc cần scope docs; ghi cần evaluate.qurak:docs
qurak:evaluate
get_capabilitiesCác giới hạn đang áp dụng cho kết nối này, dưới dạng con số: trần ngân sách tính toán, hạn mức mỗi phút và phần còn lại, đồ thị lưu được lớn nhất, các scope được cấp, giới hạn phiên. Không có đối số.bất kỳ
WolframLanguageEvaluatorBí danh cũ của evaluate, giữ lại cho các client mong đợi tên công cụ AgentTools. Cùng đối số, cùng hành vi.qurak:evaluate

Giữ trạng thái giữa các lời gọi

evaluateplot là stateless trừ khi bạn truyền một session_id. Có nó, các định nghĩa được mang theo — a = 10 ở một lời gọi, rồi a + 5 ở lời gọi kế với cùng id, sẽ tính ra 15. Phiên là riêng tư với tài khoản của bạn, nên hai tài khoản dùng cùng một id không bao giờ thấy biến của nhau. Phiên bị loại bỏ sau 30 phút rảnh, khi một phép tính trong đó hết thời gian (bộ máy không thể bị ngắt, nên phiên đi theo nó), hoặc khi bạn gọi clear_session.

Giới hạn và lỗi

Ngân sách tính toán và giới hạn tần suất theo gói của bạn — xem Bảng giá, hoặc gọi get_capabilities từ chính kết nối để biết các con số đang áp dụng. Vượt một trong hai sẽ trả về dưới dạng kết quả công cụ có isError được đặt, chứ không phải lỗi truyền tải, nên agent của bạn có thể đọc thông điệp và điều chỉnh. Điều này cũng đúng với lỗi cú pháp, hết thời gian, hay một thất bại bên trong bộ máy: chúng là câu trả lời, và kết nối vẫn mở.

check_support cho bạn biết những gì khả dụng mà không tốn một phép tính. timeout_ms cho phép một lời gọi xin ngân sách ngắn hơn mức gói cho phép — hữu ích để thất bại nhanh với biểu thức bạn cho là nhẹ. Nó bị kẹp về ngân sách của chính gói, nên không thể mua thêm thời gian quá mức bạn có. Các hàm tệp, tiến trình và mạng bị chặn.