探索最佳AI工具

Learn Shell 透過網頁和 MCP 為 AI 導師提供持久化教室，包括課程、字卡、練習、評分與學習者上下文。需要自架基礎設施及外部教學代理；目前單機信任模式沒有身分驗證。

Say-it Pronounce 將有來源標註的開發術語辭典與發音播放、測驗及 CLI、編輯器、MCP 整合結合。保留爭議讀法並使用系統語音工具；並非每個詞條都有來源或公認讀音。

Pronunciation MCP Server 在本機錄音和轉寫，提供英語發音、文法及流暢度輔導，支援句子練習。需要麥克風和本機模型；回饋可能不準確，並非標準化評量。

ICTExam MCP 讓助手讀取考試、成績與試題分析，並可選擇啟用試卷解析和考試發布。需要教師或管理員帳戶；預設關閉寫入，AI 解析消耗平台額度。

SCORM MCP Server 將 HTML 學習模組及支援的匯出內容打包為 SCORM 2004 或 1.2 課程，加入進度追蹤並驗證套件。離線輸出需包含所需資源，逐題記錄仍取決於 LMS 支援。

Moodle MCP Server 將代理連接到 Moodle Web Services，唯讀查詢課程、選課、作業與使用者資訊。需要啟用 Web Services 並提供 API 權杖；進階報告外掛獨立於開源核心。

Brightspace D2L MCP Server 透過瀏覽器驗證工作階段向助手唯讀提供課程、截止日期、繳交狀態、成績與課程檔案。需要支援的瀏覽器和學校登入；測驗作答狀態可能未知，不能代為繳交作業。

Campus CLI 是面向秘魯 UPC Blackboard 的非官方 CLI 與 MCP 連接器，提供課程、作業、成績與資料存取。需要 Campus 帳戶及學生學校 SSO 工作階段；Canvas 和 Moodle 支援仍在規劃中。

Canvas LMS MCP Server 透過 Canvas API 向助手提供課程、作業、成績、模組與截止日期，並支援批次匯出供離線索引。它是需要 Canvas 權杖的單一使用者 alpha 版本，本機執行仍需請求學校 API。

透過 MCP 或 CLI 為 AI 智慧體提供符號與數值計算、數學斷言檢查及 SVG 繪圖。需要 Node.js 與受支援的運算式格式，電腦代數檢查不等於通用形式化證明。

mcp-gnu-units 使用內附 GNU Units 資料庫及 Python 引擎，提供離線量綱單位換算、搜尋與定義查詢。目前為原始碼安裝的預發行版，尚非 PyPI 正式套件，採 GPL-3.0-or-later；覆蓋依引擎與定義而定。

gnomon-mcp 以 Python MCP 工具批次執行日期、時區、數學、統計與單位計算。工作日運算僅按週一至週五，不包含地區假日；自然語言日期和單位仍須提供明確、無歧義的輸入。

Polymath MegaBlaster MCP 提供本機數學、統計、日期、單位、子網及詞元計數工具，計算不需 API 金鑰。精度和詞元覆蓋依操作而異；地理距離基於地球模型，不代表精確實測值。

Mathlas 為 AI 用戶端提供數值檢查、常數與數列辨識、定理搜尋和 Lean 證明檢查。內部不含大型語言模型；部分工具需要本機 OEIS 資料或 Lean，定理檢索可能存取外部服務。

MathMethods MCP 向 AI 用戶端提供數值求根、積分、微分、插值與微分方程求解。結果是依賴各演算法前提的數值近似，不提供符號證明或收斂保證。

mcp-abacus 透過 MCP 提供運算式計算、數值求解和曲線擬合，可選定點、浮點、有理數或複數模式並標示精度。操作依模式及求解器而異；精確標籤只描述計算，不驗證輸入公式或假設。

用於在 Lean 中進行定理證明的語言模型助理。

幾何定理證明器結合語言模型與符號推導引擎。

一個 GitHub Action 使用語言模型翻譯本地化字串並提交結果，支援 XLIFF 和 JSON 格式。

免費認證準備，針對Claude Certified Architect考試，包含情境式問題和導向式終極建構。

Plot Ark 是一個用於高等教育、可自訂主機的智能課程引擎，能夠生成基於教學法的課程內容。

MCP 伺服器用於 D2L Brightspace 教學資源管理系統，檢查成績、截止日期、作業等。

一個用於數學運算、統計、視覺化以及持續工作空間的教育性 MCP 伺服器。

一個Python筆記本，展示如何使用大型語言模型建立自定義知識圖。