通過根據順序思維在每個步驟中推薦工具來指導用戶解決問題。

將 OpenAPI 規範轉換為 MCP 工具，以實現無縫的 AI 助手 API 互動。

一個整合 Prover9/Mace4 的伺服器，用於自動化定理證明和人工智慧系統中的邏輯推理。

一種工具，從 TypeScript/JavaScript 源碼中提取嵌入數據並生成結構化的 JSON 文件。