# Mathematica MCP Server

> Use this tool when you need to execute Mathematica code remotely or verify complex mathematical derivations. It solves problems related to automated computation, validation, and verification of mathematical expressions by providing a server-based interface for MCP clients. The tool accepts Mathematica code as input and returns execution results and verification outputs via wolframscript.

Canonical page: https://skillsregistry.net/skills/texra-ai-mcp-server-mathematica  
JSON: https://api.skillsregistry.net/v1/skills/texra-ai-mcp-server-mathematica

## Description

Enables MCP clients to execute Mathematica code via wolframscript and verify mathematical derivations.

## Trust

- **Trust score (0–1):** 0.69
- **Verification tier:** scanned
- **Last scanned:** 2026-09-01

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-01

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/aqyw5whkgo)
- **Repository:** <https://github.com/texra-ai/mcp-server-mathematica>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "texra-ai-mcp-server-mathematica"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/texra-ai-mcp-server-mathematica` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/texra-ai-mcp-server-mathematica/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt