USolver

by sdiehl

Not rated
GitHub

About

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

Details

Author
sdiehl
Categories
Developer Tools, Other

Setup

Install USolver in your MCP client (Claude Desktop, Cursor, Windsurf, and others).

Repository: https://github.com/sdiehl/usolver

Follow the installation instructions in the repository README, then restart your MCP client.

I've moved on to working atOneChronos, 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 thecareers page.

This is a web browser that enables your coding agent, such as Claude Code, to visit websites on your behalf and assist you in identifying bugs or creating UI test cases.

Provides linear programming (LP) and mixed-integer programming (MIP) optimization capabilities using the HiGHS solver.

MCP server that gives AI assistants on-demand access to 1,500+ amCharts docs, ~300 code examples, and 1000+ class API references.

Real-time Amazon data API built for AI agents. 200M+ products, 1B+ reviews, live BSR, pricing, and competitor data as clean JSON. 10 agent skills for market research, competitor monitoring, pricing, listing audits, and more. 1,000 free credits.

A Model Context Protocol server for generating visual charts using AntV.

Predict anything with Chronulus AI forecasting and prediction agents.

Get access to Kaggle's datasets, models, competitions, notebook and benchmarks.

Search and evaluate MCP servers from your AI agent: quality grades, live verification status, install commands and client compatibility for 5,000+ servers.

50+ pay-per-call APIs for AI agents via HTTP 402 crypto micropayments. $0.001–$0.12 per call with USDC and USDm.

Interaction profile registry for AI agents — log interactions, build a behavioral profile, query it through behavioral lenses. 21 tools, zero-config.

A hosted API /MCP platform providing developer-friendly JSON endpoints for user-agent parsing, postal code search with spatial queries, country/subdivision lookup, cryptographic hashing, IP geolocation, email risk scoring, and more.

No reviews yet — be the first

Sign in to leave a review

Use Google, GitHub, or an email account so ratings stay tied to real people.

Email sign in

No reviews posted yet.