PyPI page
Home page
Author:
None
License:
Apache License
Version 2.0, January 2004
http://www.apache.org/licenses/
TERMS AND CONDITIONS FOR USE, REPRODUCTI...
Summary:
MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and any MCP client
Latest version:
0.1.0
Required dependencies:
httpx
|
mcp
|
sympy
|
z3-solver
Optional dependencies:
black
|
pytest
|
pytest-asyncio
Downloads last day:
0
Downloads last week:
6
Downloads last month:
15