"推导验证"标签的搜索结果

连接LLM客户端与Mathematica的MCP服务器，支持执行Mathematica代码、验证数学推导并生成多种格式输出。