标签：推导验证

一个通过wolframscript执行Mathematica代码并验证数学推导的模型上下文协议服务器，适用于复杂数学计算和推导验证场景。