usolver

A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

65 stars PythonOthers Updated May 19, 2026

mcp

Documentation

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.

Frequently asked questions

What is usolver?

usolver is A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

How do I install usolver?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is usolver open source?

Yes — it is hosted on GitHub at https://github.com/sdiehl/usolver and has 65 stars.

Related MCP tools

Windows-MCP

MCP Server for Computer Use in Windows

6,900 Python

desktopmcptools+3

semble

Fast and Accurate Code Search for Agents. Uses 99% fewer tokens than grep+read

5,993 Python

agentscode-searchembeddings+4

zotero-mcp

Zotero 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.

4,894 Python

claudemcpzotero+1

mcp-context-forge

An AI Gateway, registry, and proxy that sits in front of any MCP, A2A, or REST/gRPC APIs, exposing a unified endpoint with centralized discovery, guardrails and management. Optimizes Agent & Tool calling, and supports plugins.

4,422 Python

agentsaiapi-gateway+17

google_workspace_mcp

Control Gmail, Google Calendar, Docs, Sheets, Slides, Chat, Forms, Tasks, Search & Drive with AI - Comprehensive Google Workspace MCP Server & CLI Tool

3,117 Python

aigmailgoogle-calendar+17

vexa

Open-source meeting transcription API for Google Meet, Microsoft Teams & Zoom. Auto-join bots, real-time WebSocket transcripts, MCP server for AI agents. Self-host or use hosted SaaS.

2,744 Python

apigoogle-meetmcp+10

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP