USolver

A server for solving combinatorial, convex, integer, and non-linear optimization problems.

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

Alpha Vantage MCP Server

sponsor

Access financial market data: realtime & historical stock, ETF, options, forex, crypto, commodities, fundamentals, technical indicators, & more

SelfHeal MCP

Self-healing proxy for MCP servers — retry, circuit breaker, fallback chains, and observability.

Lightrun

AI-powered live runtime debugging with Lightrun production context.

MCP Risk Ledger

Risk review ledgers for MCP server adoption.

WhichModel

Cost-optimised LLM model routing for autonomous agents

Remote MCP Server (Authless)

An example remote MCP server deployable on Cloudflare Workers without authentication.

Agent Mail Rooms

Agent Mail Rooms is a paid remote MCP endpoint for OpenAI Codex agent coordination MCP. It exposes structured JSON tools, a public server card, token-based access, usage receipts, and audit-

ast-impact-mapper-mcp

Uses TypeScript AST to determine which tests are affected by code changes

MCP Server Test

An example MCP server deployable on Cloudflare Workers without authentication.

Firebase MCP Server

You can use the Firebase MCP server to give AI-powered development tools the ability to work with your Firebase projects and your app's codebase.

MCP Datetime

A server for datetime formatting and file name generation, with support for various formats and timezones.