$ loading_
通过执行结合 SymPy 与 Z3 的 Python 代码，确定性验证数学、逻辑与代码分析结果。
该 MCP 工具声明通过执行本地 Python 代码进行确定性验证，未显示需要密钥或连接远程端点。整体看无明显高风险红旗，但因具备本机代码执行能力且项目社区采用度低、维护情况不明，建议按需谨慎使用。
材料明确注明无需密钥或环境变量，未见要求提供 API key、账号令牌或其他敏感凭证，因此凭证泄露与滥用面较小。
材料注明无远程端点，描述中也未提及将用户数据发送到外部服务；基于现有信息，未见明确的数据外发路径。
该工具的核心能力是执行本地 Python 代码，并使用 SymPy、Z3 等符号引擎进行分析；这意味着其具备本机代码执行能力，应按可运行进程/脚本的工具审慎对待。
材料未说明有专门的数据隔离或最小权限设计；由于会执行本地 Python 代码，理论上可能接触运行环境中的本地文件与数据，建议在受限目录或沙箱中运行。
正面因素是开源且采用 Apache 2.0 许可证，源码可审计；但来源为第三方注册表、社区采用度为 0 star、维护状态未知且 README 缺失，成熟度与持续维护情况仍需留意。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"QWED-MCP" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请用 QWED-MCP 执行 Python，结合 SymPy 验证这个积分推导是否正确：∫(x*cos(x))dx = x*sin(x)+cos(x)+C。请给出符号验证过程和最终结论。
返回基于符号计算的验证过程，并明确说明该推导是否正确。
请用 QWED-MCP 调用 Z3 检查以下约束是否可满足：A > B，B > C，C > A。若不可满足，请说明冲突原因并给出最小冲突集合。
输出可满足性判断、冲突解释，以及相关约束分析结果。
请用 QWED-MCP 分析这段 Python 函数是否对所有整数输入都满足返回值非负，并尽量给出形式化证明或反例：def f(x): return x*x - 2*x + 1
给出基于符号或约束求解的验证结论，并附证明思路或反例。
帮助用户检测 AI 生成内容、查重抄袭，并进行图像分析与文本比对。