150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/swesmith-repos/szeider__mcp-solver.c431fabc
LOCAL

MCP Solver

swesmith-repos/szeider__mcp-solver.c431fabc

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.

↗swesmith-repos/szeider__mcp-solver.c431fabcExternal link; availability not verifiedLicenseMIT LicenseLocal-only
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (5mo)
0toolsLocal/ STDIO5moindexed
Checked Apr 18, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Apr 18, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
○
Registry presence
Not verified
Not yet verified by the Official MCP Registry.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
Not listed on the Official MCP Registry.
Source repository is available for review.
↗swesmith-repos/szeider__mcp-solver.c431fabcExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
More from swesmith-repos
MCP LLMS-TXT Documentation Server
Provides controlled access to llms.txt documentation files through MCP tools, allowing AI assistants to fetch and read documentation from user-approved domains with full audit visibility of tool calls and context retrieval.
Azure AI Foundry MCP Server
Enables interaction with Azure AI Foundry services for model exploration, deployment, and performance evaluation. It provides tools for managing knowledge bases via AI Search Service, executing fine-tuning jobs, and orchestrating AI agents through natural language.
MCP Server for WinDbg Crash Analysis
Bridges AI models with WinDbg to analyze Windows crash dumps and perform remote debugging through natural language queries, enabling execution of debugger commands and automated crash analysis.
Apache Airflow MCP Server
An MCP server that wraps the Apache Airflow REST API, enabling clients to manage DAGs, monitor task instances, and handle workflows through a standardized interface. It provides comprehensive access to Airflow features including DAG runs, variables, connections, and XComs.
mcp2mqtt
An MCP server that bridges the physical world and AI models by enabling natural language control of IoT hardware via the MQTT protocol. It supports real-time device monitoring, command publishing, and response handling for seamless integration between AI clients and physical devices.
MiniMax MCP
Enables interaction with MiniMax AI APIs for text-to-speech, voice cloning, video generation, image generation, and music creation through MCP clients like Claude Desktop and Cursor.
Similar servers
DevDocs MCP
A Model Context Protocol implementation that enables AI-powered access to documentation resources, featuring URI-based navigation, template matching, and structured documentation management.
Gemini MCP Server for Claude Desktop
A server that enables Claude Desktop to generate images using Google's Gemini AI models through the Model Context Protocol (MCP).
Uber Eats MCP Server
A proof-of-concept server implementing the Model Context Protocol that enables LLM applications to interact with Uber Eats functionality.
DOCX Document Creator
A FastMCP-powered microserver that allows users to programmatically generate well-formatted .docx documents with consistent styling, including features like titles, paragraphs, headings, citations, and footers.
Task Context MCP Server
Enables AI agents to autonomously manage and improve execution processes for repetitive task types by storing reusable task contexts with associated artifacts (practices, rules, prompts, learnings) and providing full-text search across historical best practices.
Vibe Composer MIDI MCP
Enables LLMs to compose and play multi-track MIDI music through natural language prompts. Supports outputting to software or hardware synthesizers for enhanced audio quality.
Indexed from Glama · Updates nightly