From 2d08096f6599da507dc9566e38d58b9859e08f0a Mon Sep 17 00:00:00 2001
From: GabrielDrapor <gabrieldrapor@gmail.com>
Date: Wed, 30 Apr 2025 18:55:30 +0800
Subject: [PATCH 1/2] Add server: mathematica-check

---
 mcp-registry/servers/mathematica-check.json | 103 ++++++++++++++++++++
 1 file changed, 103 insertions(+)
 create mode 100644 mcp-registry/servers/mathematica-check.json

diff --git a/mcp-registry/servers/mathematica-check.json b/mcp-registry/servers/mathematica-check.json
new file mode 100644
index 00000000..9d5d9943
--- /dev/null
+++ b/mcp-registry/servers/mathematica-check.json
@@ -0,0 +1,103 @@
+{
+  "name": "mathematica-check",
+  "description": "A Model Context Protocol (MCP) server that allows MCP clients (like Cursor) to execute Mathematica code via wolframscript and verify mathematical derivations.",
+  "display_name": "Mathematica Check",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/pathintegral-institute/mcp.science"
+  },
+  "homepage": "https://github.com/pathintegral-institute/mcp.science/tree/main/servers/mathematica-check",
+  "author": {
+    "name": "LionSR"
+  },
+  "license": "MIT",
+  "tags": [
+    "mathematica"
+  ],
+  "arguments": {},
+  "installations": {
+    "uvx": {
+      "type": "uvx",
+      "command": "uvx",
+      "args": [
+        "--from",
+        "git+https://github.com/pathintegral-institute/mcp.science#subdirectory=servers/mathematica-check",
+        "mcp-mathematica-check"
+      ],
+      "env": {},
+      "description": "Run server using uv"
+    }
+  },
+  "examples": [],
+  "categories": ["Professional Apps"],
+  "tools": [
+    {
+      "name": "execute_mathematica",
+      "description": "Execute Mathematica code and return the result",
+      "inputSchema": {
+        "properties": {
+          "code": {
+            "description": "Mathematica code to execute. Should be a complete, self-contained code block",
+            "title": "Code",
+            "type": "string"
+          },
+          "format": {
+            "anyOf": [
+              {
+                "type": "string",
+                "enum": ["text", "mathematica"]
+              },
+              {
+                "type": "null"
+              }
+            ],
+            "default": "text",
+            "description": "Output format (text or mathematica). Defaults to text",
+            "title": "Format"
+          }
+        },
+        "required": [
+          "code"
+        ],
+        "title": "execute_mathematicaArguments",
+        "type": "object"
+      }
+    },
+    {
+      "name": "verify_derivation",
+      "description": "Verify a mathematical derivation step by step using Mathematica's Simplify",
+      "inputSchema": {
+        "properties": {
+          "steps": {
+            "description": "Array of mathematical expressions (as strings) representing steps in a derivation. Requires at least two steps",
+            "title": "Steps",
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          },
+          "format": {
+            "anyOf": [
+              {
+                "type": "string",
+                "enum": ["text", "mathematica"]
+              },
+              {
+                "type": "null"
+              }
+            ],
+            "default": "text",
+            "description": "Output format for the verification report (text or mathematica). Defaults to text",
+            "title": "Format"
+          }
+        },
+        "required": [
+          "steps"
+        ],
+        "title": "verify_derivationArguments",
+        "type": "object"
+      }
+    }
+  ],
+  "is_official": true
+}

From c6626462efd122083ac9e4bace412ffec333faa4 Mon Sep 17 00:00:00 2001
From: GabrielDrapor <gabrieldrapor@gmail.com>
Date: Wed, 30 Apr 2025 19:39:07 +0800
Subject: [PATCH 2/2] fix: is_official true -> false

---
 mcp-registry/servers/mathematica-check.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mcp-registry/servers/mathematica-check.json b/mcp-registry/servers/mathematica-check.json
index 9d5d9943..5cd89453 100644
--- a/mcp-registry/servers/mathematica-check.json
+++ b/mcp-registry/servers/mathematica-check.json
@@ -99,5 +99,5 @@
       }
     }
   ],
-  "is_official": true
+  "is_official": false
 }