Universal Solver (Z3, CVXPY, OR-Tools)

mcp-registry:sdiehl-universal-solver

Integrates Z3, CVXPY, and Google OR-Tools to solve constraint satisfaction, convex optimization, and scheduling...

A

100/100

First Seen

Feb 18, 2026

Last Scanned

Feb 18, 2026

Findings

0

Score

100/100

No Security Issues Found

Aguara's static analysis detected no security findings in this skill. It scored a perfect 100/100.