QWED-AI/qwed-mcp: MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and any MCP client
Language: Python
Topics: ai-safety, anthropic, claude, formal-verification, llm, mcp, model-context-protocol, python, qwed, qwed-ai, sympy, verification, z3
Category: claude-code-interoperability