Math x
AI学习网站Math x 是一款由 GPT-4 驱动的数学辅导应用,主打 24/7 全天候在线答疑。用户可随时向它提问数学问题,获得即时的讲解与辅导。目前公开资料仅说明其基于 GPT-4 与全天可用两点,具体功能范围、支持的语言与题型、使用方式、收费模式等信息暂未提供。
35,738 个结果 · 第 748 / 993 页
Math x 是一款由 GPT-4 驱动的数学辅导应用,主打 24/7 全天候在线答疑。用户可随时向它提问数学问题,获得即时的讲解与辅导。目前公开资料仅说明其基于 GPT-4 与全天可用两点,具体功能范围、支持的语言与题型、使用方式、收费模式等信息暂未提供。
math-mcp-learning-server 是一个教育用途的 MCP 服务器,提供数学运算、矩阵代数、数据可视化与持久化工作区,内置 17 个工具,基于 FastMCP 和官方 Model Context Protocol Python SDK 构建。
Math99th 是一个面向 Digital SAT 数学备考的在线学习网站,提供 AI 增强的学习体验与自适应练习题。根据现有资料,其核心定位是帮助学生准备 Digital SAT 数学部分,通过自适应练习来调整题目难度,并借助 AI 增强学习过程。目前关于其具体功能模块、题库规模、使用方式、适用人群细节、收费模式与价格、支持平台及效果数据等信息暂未提供。
MathArena(NeurIPS D&B '25)是一个用于评估大语言模型(LLM)在最新数学竞赛和奥林匹克竞赛中表现的平台。项目托管于 matharena.ai,其 GitHub 仓库(eth-sri/matharena)包含模型评估所用的全部代码。仓库提供运行自有模型的详细说明,涵盖依赖管理(使用 UV)、本地模型运行(需启用 vllm)、Docker 镜像构建、评估命令执行、结果检查(可通过本地 Web 服务器查看完整交互与推理轨迹)以及添加新模型/智能体的配置方式。评估结果和日志(含完整推理轨迹和模型解答)发布在 HuggingFace 页面。MathArena 支持多种 API 提供商(如 OpenAI、Anthropic、Google、DeepSeek 等)和本地 vllm,并提供批量处理、成本计算、超时重试等参数。部分竞赛(如 Putnam、IMO 2025)需人工评分,无法自动判分。该项目面向研究人员和开发者,用于系统化测试 LLM 的数学推理能力。
MathEval 是一个专注于全面评估大模型数学能力的测评基准,包含约 20-22 个数学领域测评集和近 30K 道数学题目,覆盖算术、小初高竞赛及部分高等数学分支,可一站式横向对比大模型的数学解题能力。
Mathify 是一个基于 AI 的互动学习平台,官方简介称其面向多种学科。官网地址为 https://mathify.app/。目前可确认的信息仅限以上内容,具体支持哪些学科、面向哪些学习阶段、提供何种互动形式、是否收费及价格、使用方式与操作步骤等细节暂未提供。
mathlas 是一套供 AI 通过 MCP 调用的数学工具集,包含 370 万条定理检索、PSLQ 常数识别、OEIS 序列查询、真实 Lean 内核检查以及适用性清单。它内部不含 LLM,无需 API 密钥,可接入 Claude Code、Cursor 等任意 MCP 客户端。AI 作为大脑,mathlas 作为双手,为 AI 提供其缺乏的数学能力,并返回候选、判定、清单和脚手架等数据供 AI 推理。所有判定来自真实的 Lean 4.31.0 内核或 PSLQ 加独立复评,不产生幻觉。项目采用 Apache-2.0 许可,代码可免费使用;发布的语料库和索引产物遵循各自的来源条款(CC-BY/CC0)。
mathmethods-mcp 是一个提供数值计算方法能力的 MCP 项目,涵盖求根、数值积分、微分方程(RK4)与拉格朗日插值等,名称与链接来自公开资料,具体功能细节暂未提供。
MathPanda 是一款 AI 数学解题工具,支持输入文字、拍照或上传 PDF 文档来求解数学题。它能展示详细的解题步骤和推理过程,覆盖代数、微积分、几何、统计、概率等数学主题,也涉及物理、化学、生物等学科。提供函数绘图、计算器、后续追问解释和练习测验等功能,用户可免费准备题目,登录后生成解答。适合学生做作业检查、难题攻克和考前复习。
Mathpix 是一款基于 AI 的文档转换工具,能够将图片和 PDF 快速准确地转换为 LaTeX、DOCX、Overleaf、Markdown、Excel、ChemDraw 等多种可搜索、可导出、机器可读的格式。其 OCR 技术深度支持 STEM 领域,可识别数学公式、化学结构、手写内容、表格和外语。Mathpix 同时为开发者提供强大的 API,为研究人员提供 OCR 生产力应用,帮助教师、作者和科研人员更轻松地教学、写作、出版和协作。
Maths ai 是一个提供数学辅导的在线工具,资料仅说明其由 AI 驱动、可提供个性化帮助并即时回答数学问题。适合需要数学答疑与练习辅助的学习者。
MathSolver 是一款免费的 AI 数学解题工具,可即时提供分步解答。支持输入方程、粘贴文字题或上传手写、印刷题目照片,覆盖代数、微积分、几何、三角函数、概率统计等主要数学主题,也涉及物理和化学的交叉问题。解题过程以编号步骤呈现并配自然语言解释,另有练习测验、图形计算器和后续追问功能。提供 iPhone 和 Android 应用,核心解题无需账号、无订阅,官方称可无限量解题。界面与分步解答支持 16 种语言,计算器指南、文章、账户页面和视频课程目前为英文。官方提示 AI 解题虽准确率较高,考试或专业用途仍建议自行复核关键计算。
MATLAB MCP Server 是一个基于 Python 的 Model Context Protocol(MCP)服务器,用于将任意 AI 智能体(如 Claude、Cursor、Copilot 及自定义智能体)连接到共享的 MATLAB 安装环境。通过 MCP 协议,AI 智能体可以编写并直接运行 MATLAB 代码、发现工具箱、检查代码质量、获取交互式 Plotly 图表,并运行长时间的仿真任务。服务器支持异步长时作业(可运行数小时),智能体在 MATLAB 计算期间可继续工作;通过弹性引擎池实现多用户共享一个 MATLAB 服务器。所有 MATLAB 图形会自动转换为交互式 Plotly 图表,并以 JSON 形式返回,可在任何 Web UI 中用 Plotly.newPlot() 渲染,同时生成静态 PNG 和缩略图作为非交互式客户端的回退。用户还可以通过 custom_tools.yaml 将自定义 .m 函数暴露为 AI 工具,无需修改代码即可拥有完整的参数校验和帮助文本。仓库地址为 https://github.com/HanSur94/matlab-mcp-server-python。
matmat AI 是一款面向现代企业的智能统一收件箱工具,用于集中接收并自动回复来自网站表单、短信、电话及第三方平台等渠道的客户消息。它通过 AI 自动化即时响应潜在客户,以提升响应率与客户满意度。目前公开资料未提供更详细的功能、收费、平台支持或使用步骤信息。
Matrix-Zero 是昆仑万维旗下 Matrix 世界模型系列中的产品,定位为支持单张图生成 3D 世界的 AI 世界模型。昆仑万维成立于 2008 年,2015 年登陆深交所,业务覆盖 AGI 与 AIGC、信息分发、元宇宙、社交娱乐及游戏等领域,自 2022 年确立“All in AGI 与 AIGC”战略。其官方资料中,Matrix 世界模型被列为开源模型之一,同系列还包含 Matrix-Game 2.0(1.8B,交互式世界模型,通过几步自回归扩散即时生成长视频)与 Matrix-3D(利用全景表示生成覆盖范围广的全向可探索 3D 世界,结合条件视频生成和全景 3D 重建)。除上述信息外,Matrix-Zero 的具体功能细节、使用方式、适用场景、收费模式与平台支持等,官方资料暂未提供。
Matt by webb ai 是一款面向 Kubernetes 与云基础设施的 AI 可靠性工程师工具,主要用途是自动执行故障排查。根据现有资料,它被描述为“AI-powered reliability engineer automating troubleshooting for Kubernetes and cloud infrastructure”,即通过 AI 能力自动处理 Kubernetes 和云环境中的排障工作。资料未提供其具体功能模块、支持的云平台、部署方式、使用步骤、收费模式或效果数据,这些信息暂未提供。
Mattermost 是一个开源团队通讯平台,提供零信任协作、自动化和 AI 能力,支持私有云、自托管和完全气隙环境。专为国家安全、关键基础设施和受监管企业构建,平台支持安全消息与协作、工作流自动化、任务管理、主权 AI 智能体及实时通信,所有能力均在用户自有边界内运行。
Mattermost MCP 服务器是一个基于 Mattermost API 的 MCP 服务端,让 Claude 及其他 MCP 客户端能够与 Mattermost 工作区交互。它支持列出频道、读取和发布消息、管理话题串与表情回应,并可按计划监控指定频道中的话题。该服务器支持通过 npx、全局安装或克隆构建三种方式运行,配置优先级为 CLI 参数、环境变量、config.local.json、config.json。除使用 MATTERMOST_TOKEN 的静态模式外,还支持浏览器登录模式:无需令牌,首次调用工具时打开 Chromium 窗口完成登录(支持密码、SSO、MFA),并自动下载 Chromium 与 ffmpeg。会话与浏览器配置存储在 ~/.config/mattermost-mcp/ 下。注意:不支持 Windows,且需妥善保护会话目录。
Mattermost MCP Host 是一个将 Mattermost 聊天平台与 Model Context Protocol(MCP)服务器连接的开源集成项目。它使用基于 LangGraph 的 AI 智能体作为运行在 Mattermost 上的机器人,能够理解用户请求、调用已配置的 MCP 服务器上的工具,并在团队、频道和消息会话中直接给出响应。项目支持动态加载 MCP 工具、线程上下文记忆,并允许通过命令前缀直接与 MCP 服务器交互。
Mava 是面向成长型团队的客户支持平台,将 Discord、Telegram、Slack、电子邮件和网页聊天等渠道的客户对话统一到一个由 AI 驱动的工作区中。支持私密工单、公开 AI 回复、共享收件箱和 AI 工单减量,帮助团队更快响应客户。提供免费计划,AI 支持包含在所有计划中,部分计划对坐席数量有限制。
Maverick 是面向电商品牌的 AI 视频营销与邮件优化平台,通过个性化视频、主题行自动生成与 A/B 测试、以及收件箱投放优化,帮助邮件进入主收件箱并提升收入与客户生命周期价值。
Mavis AI 是面向出版商、联盟营销与内容营销团队的 AI 内容自动化平台,可批量生成 SEO 友好的长文、新闻稿与邮件通讯,并支持自动发布与团队协作。
Max Studio 是一个一站式图像、视频和音频创作平台,提供多种 AI 工具,帮助用户快速生成和编辑影棚级视觉内容,节省时间并提升创意效率。
历史第三方摘要:历史资料将 Maxar Technologies 与高分辨率卫星影像、地图底图及地理空间信息服务关联,可用于了解地表和地理环境。第三方目录另有 2025 年相关业务更名的记载;本页保留历史名称,不把旧资料当作当前公司结构、品牌、域名或产品清单的证明,也不承诺现时数据访问权限。
MaxClaw 是 MiniMax 基于开源 OpenClaw 框架打造的官方云端托管 AI 智能体,由 229B 参数的 MiniMax M2.5 模型驱动。其主打一键部署,无需服务器、Docker 或手动管理 API 密钥,10 秒内即可上线一个常驻在线的智能助手。MaxClaw 支持超过 200,000 tokens 的持久长期记忆,可记住历史对话、用户偏好与工作习惯,并支持自定义名称、性格与行为风格。它原生集成 Telegram、Discord 和 Slack,一键即可在常用通讯渠道中调用。工具链继承 OpenClaw 生态,支持网页浏览、代码执行、文件分析、自动化脚本和日程管理等复杂多步工作流。官方称其以约 1/7 至 1/20 的成本提供接近前沿模型的智能水平,适合高频自动化任务。
Maxel ai 是一个基于云端的平台,用于自动化 3D 打印准备与 G-code 生成,帮助用户把 3D 模型处理为可打印文件。
Maximaize me 是一个基于 AI 的图像生成平台,用户上传自拍即可生成风格化图片,用于自我表达或制作个人头像。平台强调操作简单,只需点击几下即可完成创作,将趣味性与创新技术结合,帮助用户探索自我表达的新维度。
MaxMSP-MCP-Server 是一个面向 Max(Max/MSP/Jitter)的 MCP(Model Context Protocol)服务器项目,旨在让大语言模型(LLM)直接理解并生成 Max 补丁(patch)。通过 MCP 协议,LLM 智能体可以访问当前补丁及子补丁窗口中的对象,并查阅每个对象的官方文档,从而辅助检索、解释对象、调试以及验证自身操作。项目提供安装到 Max 补丁的示例(demo.maxpat),用户可在补丁内启动与 Python 的通信,并与 LLM 界面交互,让它解释、修改或创建 Max 对象。该项目为第三方实现,并非由 Cycling '74 制作。
Maxnotes 是一款 AI 语音笔记整理工具,可对语音笔记进行转录、摘要和自动分类。目前关于该工具的公开资料有限,除上述功能方向外,其具体功能细节、使用方式、适用平台、收费情况等信息暂未提供。
MaxText 是一个用纯 Python/JAX 编写的高性能、高可扩展性开源大语言模型库与参考实现,主要面向 Google Cloud TPU 和 GPU 进行训练。它提供包括 Gemma、Llama、DeepSeek、Qwen、Mistral 等在内的多种高性能模型选择,支持预训练、监督微调(SFT)、强化学习(GRPO、GSPO)以及多模态训练。得益于 JAX 和 XLA 编译器,MaxText 从单主机到超大规模集群都能保持高模型 FLOPs 利用率(MFU)和 tokens/秒,同时结构简洁、几乎无需手动优化。它既可作为研究实验的起点,也可用于生产级 LLM 项目。
MaxVideoAI 是一个按量付费的 AI 视频生成平台,将 Seedance、Kling、Veo、LTX、Wan、Pika 等多种视频模型整合到同一工作区。用户可在生成前对比各模型的真实输出示例、评分与价格,再选择模型进行文生视频、图生视频或视频生视频。平台无需订阅,按使用积分付费,生成前会显示价格,生成失败自动返还积分。
Maxx ai 是一款提供 24/7 客户支持与业务优化的 AI 助手集成工具。据现有资料,其核心用途是帮助企业将 AI 助手接入客户支持流程,实现全天候响应,并通过该助手辅助业务优化。资料未提供具体功能模块、技术实现、支持平台、部署方式、收费模式或价格信息,也未提供官方介绍文本,因此上述能力的详细内容暂未提供。
MayaMCP 是一个面向 Autodesk Maya 的 Model Context Protocol(MCP)服务器实现,让 Claude Desktop 等 AI 助手客户端能够通过自然语言控制 Maya。项目已在 Maya 2023 和 2025 上测试,目前功能较为基础,重点在于架构设计与简洁性。它无需在 Maya 内安装任何组件,而是利用 Maya 默认开启的 MEL 命令端口进行通信,因此可以方便地搭配不同版本的 Maya 使用。
Mazaal AI 是一个无代码 AI 智能体与工作流自动化平台。用户可以用自然语言描述需求,为智能体配置提示词、工具和知识库,并通过可视化流程编辑器搭建自动化任务。平台支持 GPT-5、Claude、Gemini、DeepSeek 等 50 多种模型,提供提示词版本管理与一键回滚、结构化 JSON 输出、基于 Qdrant 的向量知识库,以及通过 10,000+ 连接器和原生 MCP 对接现有系统。智能体可部署到网站、Slack、Discord、Telegram、WhatsApp、邮件、短信、语音及社交媒体等渠道。提供免费计划,付费计划按 AI 积分、自动化积分和知识库容量分级。
Maze 是一个用户研究平台,将招募、测试和分析整合在一起,帮助团队把研究变成一套学习系统,从而更有信心地做出决策。它支持定性与定量研究,可用于测试想法、原型、信息传达、客户需求和市场机会,并借助 AI 辅助分析,帮助更多团队开展严谨研究、积累公司知识。平台可接入其超过 600 万参与者的样本库,也可连接自有社区,并负责精准定位与排期。Maze 还提供报告、剪辑和故事等形式呈现发现,并通过 Maze MCP 将研究带入团队日常使用的工具中。在安全方面,平台采用 SSL 加密传输数据,支持测试密码、角色权限、SSO 登录、基于角色的工作区访问,并遵循 GDPR 标准。
Mc2 是一款在本地运行的 AI 数据脱敏工具,主要用于保护敏感信息。根据现有资料,它以本地化为核心特点,适合在需要避免数据外传的场景下对敏感内容进行遮蔽处理。资料中未提供其具体脱敏能力、支持的数据类型、平台兼容性、价格模式及详细使用步骤,因此这些内容暂未提供。