$ 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
给出基于符号或约束求解的验证结论，并附证明思路或反例。
用于校验 YAML 形式符号数学证明文件，快速发现证明格式或逻辑问题。