A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
Install
uvx usolver_mcpREADME.md
USolver
This project is no longer maintained.
I've moved on to working at OneChronos, so I'm no longer developing or supporting USolver. The repository has been archived and will remain available read-only for anyone who finds it useful.
If this kind of work interests you (combinatorial optimization, SMT/convex solvers, formal methods, language-model tooling for mathematical problems), OneChronos is hiring. Take a look at the careers page.
Related servers
worldmonitorkoala7388KReal-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interfacezotero-mcp54yyyu5.2KZotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, and more.deep-researchu14app4.7KUse any LLMs (Large Language Models) for Deep Research. Support SSE API and MCP server.notebooklm-mcppleaseprompto3.4KMCP server for NotebookLM - Let your AI agents (Claude Code, Codex) research documentation directly with grounded, citation-backed answers from Gemini. Persistent auth, library management, cross-client sharing. Zero hallucinations, just your knowledge base.