mma-mcp
mma-mcp
ローカルの Wolfram Engine をラップし、AIアシスタント(Claude、ChatGPTなど)がWolfram言語を通じて記号数学、数値解析、データ可視化を実行できるようにする Model Context Protocol (MCP) サーバーです。
免責事項: これは非公式かつ独立した個人プロジェクトです。 Wolfram Research, Inc. とは提携、後援、支持、または認定されていません。「Wolfram」、「Wolfram Language」、「Wolfram Engine」、「Mathematica」および関連するマークは、Wolfram Researchの商標です。
本ソフトウェアには、Wolfram Engine / Mathematicaのバイナリ、アクティベーションキー、ライセンスファイル、その他のプロプライエタリな素材は含まれていません。ユーザーは、Wolframのライセンス条項に従い、自身のWolfram EngineまたはMathematicaのコピーを独自に入手し、適切にライセンスを取得する必要があります。
本プロジェクトの唯一の目的は、ライセンスを保有する個人が、自身のライセンスで許可された範囲内で、自身のマシン上でローカルにインストールされたWolframカーネルをAIアシスタントを通じて呼び出せるようにすることです。 Wolfram Engineへのアクセスを第三者に再配布することは意図された使用例ではなく、Wolframのライセンス条項に違反する可能性があります。
機能
MCPツール:
evaluate(テキスト) およびevaluate_image(PNG、実験的) — 2つの汎用ツールですべてのWolfram言語機能を利用可能トランスポート: stdio (ローカル) およびストリーミング可能なHTTP
セキュリティ: ブラックリスト/ホワイトリストモードと29の機能グループを備えたカーネル実行前の式フィルタリング
クライアントRBAC: クライアントごとの資格情報、ロールごとのツールおよびセキュリティポリシー制御 — 同じマシン上の異なるAIクライアントを分離するため
OAuth 2.1: WebベースのMCPクライアント(Claude.ai、ChatGPT)用の認可サーバー
設定駆動: 単一のTOMLファイルですべての動作を制御
Related MCP server: MCP Mathematics
前提条件
Python 3.11+
Wolfram Engine または Mathematica (適切なライセンスが必要)
uv パッケージマネージャー
クイックスタート
# Clone and install
git clone https://github.com/siqiliu-tsinghua/mma-mcp.git
cd mma-mcp
uv sync
# Graphics export dependencies (headless servers only — desktops already have these)
sudo apt-get install -y libfontconfig1 libgl1 libasound2t64 libxkbcommon0 libegl1
# Generate default config
uv run mma-mcp init
# Generate security group files (requires Wolfram kernel, ~1 min)
uv run mma-mcp setup
# Start server (stdio, for local MCP clients)
uv run mma-mcp serveクライアント設定
Claude Code / VS Code (stdio)
.mcp.json に以下を追加します:
{
"mcpServers": {
"mma-mcp": {
"command": "uv",
"args": ["--directory", "/path/to/mma-mcp", "run", "mma-mcp"]
}
}
}Claude Desktop (stdio)
claude_desktop_config.json (設定 -> 開発者 -> 設定の編集) に以下を追加します:
{
"mcpServers": {
"mma-mcp": {
"command": "/path/to/mma-mcp/.venv/bin/mma-mcp"
}
}
}macOS/Linuxの場合、設定ファイルは
~/Library/Application Support/Claude/claude_desktop_config.jsonまたは~/.config/Claude/claude_desktop_config.jsonにあります。
HTTPトランスポート
uv run mma-mcp serve --transport http --host 127.0.0.1 --port 8000設定
すべての設定は mma_mcp.toml (または [tool.mma-mcp] 下の pyproject.toml) に記述します。
uv run mma-mcp init # generates mma_mcp.toml with comments主要セクション:
セクション | 説明 |
| Wolframカーネルのパス、タイムアウト、出力形式 |
| トランスポートモード、ホスト、ポート |
| ブラックリスト/ホワイトリストモード、機能グループ |
| 公開するMCPツール |
| HTTPS用のドメインおよびDNSプロバイダー (Caddy) |
| クライアントIDおよびロールベースのアクセス制御 |
セキュリティ
式はWolframカーネルに到達する前にフィルタリングされます。シンボルは正規表現によって抽出され、アクティブなポリシーと照合されます。
ブラックリストモード (デフォルト): 危険なグループ (system_exec、ファイルI/O、ネットワーク、動的評価) をブロックします。
ホワイトリストモード: 明示的に有効化されたグループのシンボルのみを許可します。
29の機能グループ(安全な22 + 危険な7)が約6000のWolfram言語シンボルをカバーしています。ローカルカーネルから再生成するには:
uv run mma-mcp setup # required after cloning (generates from your local kernel)
uv run mma-mcp setup --force # force regeneration (e.g., after Wolfram Engine upgrade)クライアントIDとロール
HTTPトランスポートを使用する場合、クライアントごとの資格情報とロールを設定して、同じカーネルに接続する異なるAIクライアント(例:ClaudeとChatGPT)を分離できます:
# Generate password hash
uv run mma-mcp hash-password
# Generate TOML snippet for a new client
uv run mma-mcp add-client alice --role admin各クライアントは、アクセス可能なツール、使用可能なWolframシンボル、リソース制限(タイムアウト、結果サイズ)を制御するロールにバインドされます。同時接続するクライアントはカーネルワーカープールによって分離され、各ツール呼び出しは一時的なWLコンテキストを持つ排他的なカーネルプロセスで実行されます。
設定の詳細については、mma_mcp.toml の [auth] セクションを参照してください。
開発
# Run tests
uv run pytest tests/ -v
# Inspect MCP tools interactively
uv run mcp dev src/mma_mcp/server.pyCLIコマンド
コマンド | 説明 |
| MCPサーバーを起動 (デフォルト) |
| デフォルトの |
| ローカルカーネルからセキュリティグループJSONを生成 |
| HTTPS用のCaddyfileを生成 |
| 設定用のパスワードをハッシュ化 |
| 新しいAIクライアント用のTOMLスニペットを生成 |
クライアントの互換性
クライアント | 長時間の計算 | 備考 |
Claude.ai | ✔ サポート |
|
ChatGPT | ✘ タイムアウトの可能性 |
|
Claude Desktop / Claude Code | 未テスト | ローカルstdioトランスポート |
ライセンス
MIT — このリポジトリ内のコードのみに適用されます。Wolfram Engine / Mathematicaの使用は、Wolfram Research自身のライセンス条項に準拠します。
Available Tools
2 toolsevaluateA
Evaluate a Wolfram Language expression and return the result as text.
Args: expression: A valid Wolfram Language expression string. form: Output format — TeXForm (default), OutputForm, InputForm, StandardForm, or TraditionalForm.
| Name | Required | Description | Default |
|---|---|---|---|
| expression | Yes | ||
| form | No |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries full burden. It discloses the core behavior (evaluates expressions, returns text results) and mentions format options, but doesn't cover important behavioral aspects like error handling, computational limits, authentication requirements, or rate limits. The description adds value beyond what would be in annotations but leaves significant gaps.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is perfectly structured and front-loaded: the first sentence states the core purpose, followed by a clean parameter section. Every sentence earns its place, with zero wasted words. The formatting with 'Args:' section enhances readability without verbosity.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the tool's moderate complexity (expression evaluation), no annotations, and no output schema, the description does well but has gaps. It thoroughly documents parameters and purpose, but doesn't describe return value format beyond 'text' or potential error conditions. For a computational tool with no structured safety hints, more behavioral context would be beneficial.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
With 0% schema description coverage, the description fully compensates by providing comprehensive parameter documentation. It clearly explains both parameters: 'expression' as 'a valid Wolfram Language expression string' and 'form' with its five possible values and default. This adds substantial meaning beyond the bare schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool's purpose with specific verb ('evaluate') and resource ('Wolfram Language expression'), and distinguishes it from sibling tool 'evaluate_image' by specifying it returns text rather than image results. The phrase 'return the result as text' explicitly differentiates it from the image-focused sibling.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides clear context about when to use this tool (for evaluating Wolfram Language expressions to get text results) and implies when not to use it (when image results are needed, suggesting 'evaluate_image' as an alternative). However, it doesn't explicitly state exclusion criteria or name the alternative tool directly in the main description.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
evaluate_imageA
Evaluate a Wolfram Language expression and return the result as a PNG image.
Useful for Plot, Graphics, or any expression with visual output.
Args: expression: A valid Wolfram Language expression string.
| Name | Required | Description | Default |
|---|---|---|---|
| expression | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are provided, so the description carries the full burden of behavioral disclosure. While it mentions the tool evaluates expressions and returns PNG images, it lacks critical behavioral details such as error handling, performance characteristics, rate limits, authentication requirements, or what happens with invalid expressions. This leaves significant gaps in understanding how the tool behaves in practice.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is perfectly concise and well-structured. It starts with the core purpose, provides usage guidelines, then clearly documents the parameter. Every sentence earns its place with no redundant information, making it easy to scan and understand quickly.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the tool's moderate complexity (evaluating Wolfram Language expressions with visual output), no annotations, no output schema, and 0% schema description coverage, the description provides adequate basics but lacks completeness. It covers the purpose and parameter semantics well, but misses important behavioral context about how the tool operates, what errors might occur, and what the PNG output contains.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The description adds meaningful context for the single parameter: 'expression: A valid Wolfram Language expression string.' This clarifies what type of input is expected beyond the schema's basic 'string' type. Since schema description coverage is 0% and there's only one parameter, the description adequately compensates by specifying the parameter's purpose and format requirements.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool's purpose: 'Evaluate a Wolfram Language expression and return the result as a PNG image.' It specifies both the action (evaluate) and the resource (Wolfram Language expression), and distinguishes it from the sibling tool 'evaluate' by mentioning the visual output format (PNG image).
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides clear context on when to use this tool: 'Useful for Plot, Graphics, or any expression with visual output.' This gives guidance on appropriate use cases. However, it doesn't explicitly state when NOT to use it or name alternatives (like the sibling 'evaluate' tool for non-visual results), which prevents a perfect score.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
2 tool updates
v0.1.0- First observed
evaluate - First observed
evaluate_image
TDQS
Scored across 2 tools
The two tools have clearly distinct purposes: evaluate returns text output in various formats, while evaluate_image returns PNG images for visual output. There is no overlap or ambiguity between them, as each targets a different output type for Wolfram Language expressions.
Both tools follow a consistent verb_noun pattern with 'evaluate' as the verb and descriptive suffixes ('_image') to differentiate them. The naming is predictable and aligned, making it easy to understand their relationship and functionality.
With only two tools, this server feels too thin for its apparent scope of evaluating Wolfram Language expressions. It covers text and image output but lacks other essential operations like querying Wolfram Alpha, handling errors, or managing sessions, which limits its utility in broader workflows.
The tool surface is severely incomplete for a Wolfram Language server. It only provides evaluation with text or image output, missing critical functionality such as data import/export, symbolic computation queries, step-by-step solutions, or integration with Wolfram Cloud services, leading to significant gaps in agent capabilities.
Maintenance
Related MCP Connectors
- ZapierOAuthcom.zapier
Hosted MCP server connecting AI assistants to 9,000+ apps and 40,000+ actions via Zapier.
MCP server for secureFlows: token-free URL builders and integration-linting tools for AI agents.
MCP server for building and testing AI agents with multi-model experimentation and insights.
A comprehensive Model Context Protocol (MCP) server that enables AI assistants to interact with yo…
Related MCP Servers
- AlicenseAqualityBmaintenanceAn MCP server that integrates the MathJS library to provide AI models with advanced calculation capabilities, including support for complex numbers, matrices, and unit conversions. It supports both stdio and HTTP transports for seamless integration with clients like Claude Desktop and GitHub Copilot.139 npmMIT
- AlicenseCqualityDmaintenanceA comprehensive MCP server that turns any AI assistant into a powerful mathematical computation engine, providing 52 advanced functions, 158 unit conversions, financial calculations, and secure AST-based evaluation.1816MIT
- AlicenseAqualityDmaintenanceA symbolic mathematics MCP server supporting calculus, linear algebra, number theory, statistics, and unit conversion via natural language.8MIT
- AlicenseNot gradedqualityDmaintenanceMCP server for scientific computing with multiple backends (Mathematica, Octave, Python, R, SageMath, etc.) enabling mathematical computation and visualization through AI coding assistants.5-