AI Atlas

开发者工具 · 教育与学习工具

MCP Server Mathematica logo

MCP Server Mathematica

texra-ai/mcp-server-mathematica

该项目是一个Mathematica模���上下文协议(MCP)服务器，通过wolframscript执行数学计算和验证推导步骤，为MCP客户端(如Cursor)提供数学计算服务。

在 GitHub 查看2

安装

客户端配置

{
  "mcpServers": {
    "mathematica-server": {
      "command": "node",
      "args": [
        "/full/path/to/mcp-server-mathematica/build/index.js"
      ]
    }
  }
}
GitHub 星标
2
作者
@texra-ai
分类
开发者工具, 教育与学习工具
更新于
2026年10月6日

工具（2）

  • execute_mathematica

    Executes arbitrary Mathematica code and returns the result.

  • verify_derivation

    Verifies a sequence of mathematical expressions to check if each step logically follows from the previous one using Simplify[prev == current].

本页信息摘自该项目的 README。 查看 README

支持的客户端

该服务器 README 中提到的客户端：

查看全部
Claude Desktop logo

Claude Desktop

桌面端 · 免费增值 · Proprietary

Anthropic 官方推出的 Claude AI 桌面应用程序。支持 MCP 服务器以扩展功能。

WindowsMacOS
Cline logo

Cline

桌面端 · 免费 · MIT

集成到 IDE 中的 AI 代码助手。支持 MCP 服务器以增强功能。

WindowsMacOSLinux
Cursor logo

Cursor

桌面端 · 免费增值 · Proprietary

首个代理式 IDE。Cursor 编辑器让开发者与 AI 的工作真正融合在一起，提供如魔法般的编码体验。

WindowsMacOSLinux

相关 MCP 服务器

更多服务器
Playwright logo

Playwright

microsoft/playwright

72.2k

Playwright是一个跨浏览器的Web测试和自动化框架，支持Chromium、Firefox和WebKit，提供无头执行、多浏览器兼容性测试、强大的断言和工具支持，适用于多种编程语言。

开发者工具
repomix logo

repomix

yamadashy/repomix

15.2k

Repomix是一个将代码库打包为AI友好格式的工具，支持本地和远程仓库处理，提供代码压缩、安全检查和多种输出格式。

开发者工具
UI-TARS-desktop logo

UI-TARS-desktop

bytedance/UI-TARS-desktop

12.9k

TARS 是字节跳动的多模态 AI 智能体技术栈，包含两个项目：Agent TARS（基于 MCP 的命令行与 Web UI 智能体）和 UI-TARS-desktop（桌面 GUI 智能体）。

开发者工具
blender logo

blender

ahujasid/blender-mcp

10.6k

BlenderMCP通过MCP协议将Blender与Claude AI连接，实现AI辅助3D建模与场景控制

开发者工具
Playwright Browser Automation logo

Playwright Browser Automation

microsoft/playwright-mcp

9.2k

Playwright MCP是一个基于Playwright的浏览器自动化服务器，通过结构化数据而非像素输入实现LLM与网页的交互。

开发者工具
2344 logo

2344

comet-ml/opik

7k

Opik是一个开源的LLM评估框架，支持追踪、评估和监控LLM应用，帮助开发者构建更高效、更经济的LLM系统。

开发者工具