MCP server for checking Mathematica documentation via local MMA installation
MCP server for checking Mathematica documentation via local MMA installation. The mathematica documentation mcp server wraps that behind the Model Context Protocol, so an assistant can use it through 2 defined tools rather than through you.
Made with mcp-python-sdk
Everything the assistant can do here goes through one of these:
get_docs — support factory functions, function via an addon, and function via a packagelist_package_symbols — list all symbols/functions in a packageSetup follows the usual MCP pattern — install or clone the server, register it in your client's configuration file, restart the client.
You will need one environment variable: WOLFRAMSCRIPT_PATH. Keep credentials in your client's env block or a secrets manager rather than in a file you might commit.
Plenty of knowledge and memory servers cover similar ground. The differences that matter in practice are scope of access and how much setup stands between you and a working tool call. Mathematica Documentation's toolset — get_docs, list_package_symbols — is a fair guide to whether it matches your workflow. It is maintained by benhaotang; worth a glance at recent repository activity before you build anything load-bearing on it.
SyncDev reviews every entry in this directory against the project's own documentation before publishing, and revisits them as servers change.
| Tool | What it does |
|---|---|
| get_docs | support factory functions, function via an addon, and function via a package. |
| list_package_symbols | list all symbols/functions in a package. |
| Variable | Description | Required |
|---|---|---|
| WOLFRAMSCRIPT_PATH | Filesystem location the server is allowed to use. | Optional |
A knowledge graph your assistant keeps between sessions — entities, relations and observations that persist.
Kill hallucinated APIs — version-accurate, up-to-date library documentation injected straight into context.
Your workspace, on speaking terms with AI — search, read and write Notion pages and databases.
A structured scratchpad for hard problems — stepwise reasoning with revisions, branches and visible logic.
Symbol-level code navigation, refactoring and memory for coding agents — the IDE brain your assistant has been missing.
Chat with your second brain — search, read and write vault notes through the Local REST API.