texra-ai/mcp-server-mathematica
If you are the rightful owner of mcp-server-mathematica and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
This repository contains a Model Context Protocol (MCP) server that allows MCP clients to execute Mathematica code via `wolframscript` and verify mathematical derivations.
Tools
Functions exposed to the LLM to take actions
execute_mathematica`
Execute any Mathematica code and return the result
verify_derivation`
Verify the logical correctness of mathematical derivation steps
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client