$ loading_
通过执行结合 SymPy 与 Z3 的 Python 代码，确定性验证数学、逻辑与代码分析结果。
复制安装指令，让 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 生成代码的可用性并收集证据。
帮助用户检测 AI 生成内容、查重抄袭，并进行图像分析与文本比对。
帮助你发现、检查并调用外部数据与工具 API，并统一管理计费与审计。
提供推理、代码、反幻觉与记忆测试能力的 MCP 工具集。
帮助用户完成竞赛编程题分析、解法设计、代码生成与测试验证。