发现最出色的 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 是一个用于高等教育的自托管智能课程引擎，它生成基于教学法的课程内容

用于检查成绩、截止日期、作业等的D2L Brightspace LMS MCP服务器

一个用于数学运算、统计、可视化和持久化工作区的教育性MCP服务器。

一个Python笔记本，演示如何使用大型语言模型构建自定义知识图谱。