AI Tools Scout
Open-source ToolsLLM ProjectsMCP ServersMethodology
AI Tools Scout

An open-source AI tools directory with clear use cases, visible source freshness, and maintenance evidence for anyone deciding what to try.

Explore
Open source AI projectsOpen source LLM projectsMCP servers list
More
SkillsContentAbout
Rankings use public ecosystem signals. Treat them as a starting point, then confirm license, setup, safety, and fit with the upstream project.
  1. Home
  2. /MCP Servers
  3. /Universal Solver (Z3, CVXPY, OR-Tools)

Universal Solver (Z3, CVXPY, OR-Tools)

Utility

by sdiehl

Integrates Z3, CVXPY, and Google OR-Tools to solve constraint satisfaction, convex optimization, and scheduling problems with support for solver chaining where results from one solver feed into another for complex multi-stage optimization workflows.

GitHub ↗PulseMCP
65
Stars
0
Installs
0
Tools
N/A
Security

Server Info

Category
Utility
Deployment
N/A
npm Package
N/A
PyPI Package
N/A
npm Downloads/Week
N/A
Source
PulseMCP
Published
N/A
Last Updated
5/7/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.