GeoMCP vs Universal Solver (Z3, CVXPY, OR-Tools)

Parses geometry problems in Vietnamese or English and renders precise SVG diagrams with constraint solving.

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.

MCP Servers

MCP Servers

—

—

—

—

—

—

—

—

—

67

2