$ 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 形式符号数学证明文件,快速发现证明格式或逻辑问题。