USolver

v1.0.0APIsstable

A best-effort universal logic and numerical solver interface using MCP that implements the 'LLM sandwich' model to process queries, call dedicated solvers (ortools, cvxpy, z3), and verbalize results.

mcp
Share:
65
Stars
0
Downloads
0
Weekly
0/5

About

A best-effort universal logic and numerical solver interface using MCP that implements the 'LLM sandwich' model to process queries, call dedicated solvers (ortools, cvxpy, z3), and verbalize results.

Features

  • A best-effort universal logic and numerical solver interface

Use Cases

A best-effort universal logic and numerical solver interface using MCP that impl
sdiehl

Maintainer

LicenseApache 2.0
Languagepython
Versionv1.0.0
UpdatedMay 19, 2026
Statushealthy
Maintenanceactive

Works with

ClaudeOpenAIwindowsmacoslinux

Installation

Manual Installation

npx usolver

Examples

No examples available for this server.

Configuration

Configuration Details

Config File

claude_desktop_config.json

Web UI

Not available

Security

Authentication

RequiredNo

Features

Data Encryption
Audit Logging
RBAC Support

Performance

Response Metrics

Response Time< 200ms
ThroughputMedium

Resource Usage

Memory UsageLow
CPU UsageLow

More APIs MCP Servers

Explore other servers in the APIs category.

Quick Config Preview

{ "mcpServers": { "usolver": { "command": "npx", "args": ["-y", "usolver"] } } }

Add this to your claude_desktop_config.json or .cursor/mcp.json

Read the full setup guide →

Ready to use USolver?

Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.

33,000+ ServersFree & Open SourceStep-by-Step Guides