标签：确定性计算

QWED-MCP是一款确定性验证工具，为Claude Desktop和VS Code等MCP兼容的AI助手提供本地化数学证明、代码分析和逻辑验证功能。