N/A
swesmith-repos/MCP Solver
An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://glama.ai/mcp/servers/jxu7q0bgf2
- Framework mcp
- Sources glama
- First Seen Mar 16, 2026
- Repository github.com/swesmith-repos/szeider__mcp-solver.c431fabc
Browse more:
Search all agents
Ecosystem Report