MCP Server Mathematica

🚀 Mathematica MCP Server

This project provides a server for Mathematica MCP, enabling users to perform mathematical calculations and verify derivations.

🚀 Quick Start

Prerequisites

• Mathematica License: Ensure you have a valid Mathematica license and it's properly activated.
• WolframScript: Confirm that wolframscript is installed and added to your system's path (verify by running the command wolframscript -help).

Installation

1. Clone or download this repository.
2. Run the following command in the project's root directory to install dependencies:

   npm install
   

Starting the Server

In the project's root directory, execute the following command to start the server:

node build/index.js

Integration with MCP Client

Configuring the MCP Client

1. Add the following content to your MCP client configuration file (e.g., config.json):

   {
     "servers": {
       "mathematica-mcp-server": {
         "url": "http://localhost:3000",
         "enabled": true
       }
     },
     "tools": {
       "execute_mathematica": {
         "server": "mathematica-mcp-server"
       },
       "verify_derivation": {
         "server": "mathematica-mcp-server"
       }
     }
   }
   

Example Invocations

Direct Invocation by Tool Name:

{
  "tool_name": "execute_mathematica",
  "arguments": {
    "code": "Integrate[x^2, {x, 0, 1}]",
    "format": "latex"
  }
}

✨ Features

Available Tools

Tool 1: execute_mathematica

• Function: Calculate any mathematical expression using Mathematica.
• Parameters:
  • code: The mathematical expression to be calculated (string).
  • format: The output format, with optional values of "text" or "latex".
• Return Result:

  {
    "result": "Integration result",
    "formatted_result": "Formatted result"
  }
  

Tool 2: verify_derivation

• Function: Verify the correctness of mathematical derivation steps.
• Parameters:
  • steps: An array of mathematical derivation steps (each element is a string).
  • format: The output format, with optional values of "text" or "latex".
• Return Result:

  {
    "valid": "true" or "false",
    "errors": ["List of error messages"]
  }
  

📚 Documentation

Troubleshooting

1. Server Not Starting or Unresponsive:

   • Ensure the server is started via node build/index.js.
   • Check if wolframscript is installed and its path is correctly configured.

2. Tool Invocation Errors:

   • Check the console output for detailed error information.
   • Confirm that the format and content of the input parameters meet the requirements.

3. Mathematica - Related Issues:

   • Ensure Mathematica is correctly installed and activated.

Project Structure

• src/: Contains TypeScript source code files.
• build/: Contains JavaScript files generated by compiling with npm run build.
• package.json: Project dependency and configuration file.
• tsconfig.json: TypeScript compiler configuration file.