szeider/mcp-solver
mcp-solver is hosted online, so all tools can be tested directly either in theInspector tabor in theOnline Client.
If you are the rightful owner of mcp-solver and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
A Model Context Protocol (MCP) server that exposes SAT, SMT, and constraint solving capabilities to Large Language Models.
Try mcp-solver with chat:
Comments
No comments yet. Be the first to comment!