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