AGENTRANK
PraveshKoirala/optimization-mcp
MCP server exposing exact optimization and SMT solvers (OR-Tools, Z3) as tools for LLMs
34
/ 100
Stars
8
Freshness
36
Issue health
50
Contributors
0
Dependents
0