qwed-ai

QWED-MCP

通过执行结合 SymPy 与 Z3 的 Python 代码，确定性验证数学、逻辑与代码分析结果。