SuperAPI AI 工具集

全部 AI 工具

35,738 个结果 · 第 748 / 993 页

matharena

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 的数学推理能力。

查看介绍

mathlas

AI智能体

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)。

查看介绍

MathPanda

AI学习网站

MathPanda 是一款 AI 数学解题工具,支持输入文字、拍照或上传 PDF 文档来求解数学题。它能展示详细的解题步骤和推理过程,覆盖代数、微积分、几何、统计、概率等数学主题,也涉及物理、化学、生物等学科。提供函数绘图、计算器、后续追问解释和练习测验等功能,用户可免费准备题目,登录后生成解答。适合学生做作业检查、难题攻克和考前复习。

查看介绍

Mathpix

AI办公工具

Mathpix 是一款基于 AI 的文档转换工具,能够将图片和 PDF 快速准确地转换为 LaTeX、DOCX、Overleaf、Markdown、Excel、ChemDraw 等多种可搜索、可导出、机器可读的格式。其 OCR 技术深度支持 STEM 领域,可识别数学公式、化学结构、手写内容、表格和外语。Mathpix 同时为开发者提供强大的 API,为研究人员提供 OCR 生产力应用,帮助教师、作者和科研人员更轻松地教学、写作、出版和协作。

查看介绍

MathSolver

其他AI工具

MathSolver 是一款免费的 AI 数学解题工具,可即时提供分步解答。支持输入方程、粘贴文字题或上传手写、印刷题目照片,覆盖代数、微积分、几何、三角函数、概率统计等主要数学主题,也涉及物理和化学的交叉问题。解题过程以编号步骤呈现并配自然语言解释,另有练习测验、图形计算器和后续追问功能。提供 iPhone 和 Android 应用,核心解题无需账号、无订阅,官方称可无限量解题。界面与分步解答支持 16 种语言,计算器指南、文章、账户页面和视频课程目前为英文。官方提示 AI 解题虽准确率较高,考试或专业用途仍建议自行复核关键计算。

查看介绍

matlab-mcp-server-python

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。

查看介绍

Matrix-Zero

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

AI效率工具

Matt by webb ai 是一款面向 Kubernetes 与云基础设施的 AI 可靠性工程师工具,主要用途是自动执行故障排查。根据现有资料,它被描述为“AI-powered reliability engineer automating troubleshooting for Kubernetes and cloud infrastructure”,即通过 AI 能力自动处理 Kubernetes 和云环境中的排障工作。资料未提供其具体功能模块、支持的云平台、部署方式、使用步骤、收费模式或效果数据,这些信息暂未提供。

查看介绍

mattermost-mcp

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

AI开发平台

Mattermost MCP Host 是一个将 Mattermost 聊天平台与 Model Context Protocol(MCP)服务器连接的开源集成项目。它使用基于 LangGraph 的 AI 智能体作为运行在 Mattermost 上的机器人,能够理解用户请求、调用已配置的 MCP 服务器上的工具,并在团队、频道和消息会话中直接给出响应。项目支持动态加载 MCP 工具、线程上下文记忆,并允许通过命令前缀直接与 MCP 服务器交互。

查看介绍

MaxClaw

AI智能体

MaxClaw 是 MiniMax 基于开源 OpenClaw 框架打造的官方云端托管 AI 智能体,由 229B 参数的 MiniMax M2.5 模型驱动。其主打一键部署,无需服务器、Docker 或手动管理 API 密钥,10 秒内即可上线一个常驻在线的智能助手。MaxClaw 支持超过 200,000 tokens 的持久长期记忆,可记住历史对话、用户偏好与工作习惯,并支持自定义名称、性格与行为风格。它原生集成 Telegram、Discord 和 Slack,一键即可在常用通讯渠道中调用。工具链继承 OpenClaw 生态,支持网页浏览、代码执行、文件分析、自动化脚本和日程管理等复杂多步工作流。官方称其以约 1/7 至 1/20 的成本提供接近前沿模型的智能水平,适合高频自动化任务。

查看介绍

MaxMSP-MCP-Server

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 制作。

查看介绍

maxtext

AI开发平台

MaxText 是一个用纯 Python/JAX 编写的高性能、高可扩展性开源大语言模型库与参考实现,主要面向 Google Cloud TPU 和 GPU 进行训练。它提供包括 Gemma、Llama、DeepSeek、Qwen、Mistral 等在内的多种高性能模型选择,支持预训练、监督微调(SFT)、强化学习(GRPO、GSPO)以及多模态训练。得益于 JAX 和 XLA 编译器,MaxText 从单主机到超大规模集群都能保持高模型 FLOPs 利用率(MFU)和 tokens/秒,同时结构简洁、几乎无需手动优化。它既可作为研究实验的起点,也可用于生产级 LLM 项目。

查看介绍

Mazaal ai

AI智能体

Mazaal AI 是一个无代码 AI 智能体与工作流自动化平台。用户可以用自然语言描述需求,为智能体配置提示词、工具和知识库,并通过可视化流程编辑器搭建自动化任务。平台支持 GPT-5、Claude、Gemini、DeepSeek 等 50 多种模型,提供提示词版本管理与一键回滚、结构化 JSON 输出、基于 Qdrant 的向量知识库,以及通过 10,000+ 连接器和原生 MCP 对接现有系统。智能体可部署到网站、Slack、Discord、Telegram、WhatsApp、邮件、短信、语音及社交媒体等渠道。提供免费计划,付费计划按 AI 积分、自动化积分和知识库容量分级。

查看介绍

Maze

AI效率工具

Maze 是一个用户研究平台,将招募、测试和分析整合在一起,帮助团队把研究变成一套学习系统,从而更有信心地做出决策。它支持定性与定量研究,可用于测试想法、原型、信息传达、客户需求和市场机会,并借助 AI 辅助分析,帮助更多团队开展严谨研究、积累公司知识。平台可接入其超过 600 万参与者的样本库,也可连接自有社区,并负责精准定位与排期。Maze 还提供报告、剪辑和故事等形式呈现发现,并通过 Maze MCP 将研究带入团队日常使用的工具中。在安全方面,平台采用 SSL 加密传输数据,支持测试密码、角色权限、SSO 登录、基于角色的工作区访问,并遵循 GDPR 标准。

查看介绍