1. Conduid
  2. AI
  3. Usolver
MCP server · AI

Usolver

by · github.com/sdiehl/usolver

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

Unclaimed Apache-2.0 aimcp
InstallView source
66Good

Scored yesterday · breakdown

About Usolver

Usolver is an MCP server published by sdiehl in the AI category: a model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

The repository has 65 stars and 8 forks, with the last commit 5 months ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/sdiehl/usolver

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Usolver

Powered by Claude · Grounded in docs

I know everything about Usolver. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

Static checks derived from the repository yesterday. Heuristics on the source, not an audit.

  • ✓README presentThe repository ships documentation.
  • ✓License declaredUsable under a stated license.
  • ✓Tests presentA test suite exists in the repository.
  • ✓Dependencies pinnedA lockfile pins dependency versions.
  • !No dynamic code executionSource scan found eval or shell execution. Review how tool inputs reach it before granting credentials.
  • !Scoped permissionsDoesn't declare a permission scope. Assume it can do anything its process can.

Releases

v0.1.0v0.1.0

README

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.

README fetched from the repository yesterday. The original is authoritative.

Questions

About Usolver

How do I install Usolver?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Usolver safe to use with an AI agent?

Its trust score is 66 out of 100 (good). It passes 4 of the 6 static security checks run so far; the failures are listed above. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Usolver still maintained?

Yes — the last commit was 5 months ago. The repository has 65 stars and 8 forks and 2 open issues.