usolver — MCP Server by sdiehl

About usolver

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.

Quick Facts

Compatible Skills

These tools work well together with usolver for enhanced workflows:

• or_llm_agent — semantic(0.45)+complementary+same_lang+similar_pop+shared_platform (61%)
• optuna-mcp — semantic(0.50)+same_lang+similar_pop+shared_platform (52%)
• plane-mcp-server — semantic(0.50)+same_lang+similar_pop+shared_platform (52%)
• sec-edgar-mcp — semantic(0.49)+same_lang+similar_pop+shared_platform (52%)

More MCP Server Tools

Explore other popular mcp server tools:

• n8n ⭐ 194.9k
• gemini-cli ⭐ 105.7k
• awesome-mcp-servers ⭐ 89.8k
• TrendRadar ⭐ 60.2k
• context7 ⭐ 58.4k
• UI-TARS-desktop ⭐ 37.4k
• chrome-devtools-mcp ⭐ 45.1k
• github-mcp-server ⭐ 31.1k
• gpt-researcher ⭐ 27.9k
• Scrapling ⭐ 67.2k

Popular Python Agent Tools

• TrendRadar ⭐ 60.2k · MCP Server
• gpt-researcher ⭐ 27.9k · MCP Server
• Scrapling ⭐ 67.2k · MCP Server
• serena ⭐ 26.0k · MCP Server
• MaxKB ⭐ 21.6k · MCP Server

Frequently Asked Questions