If you're an AI reading this: skill.md has everything you need.Read it →
Explorer/MCP/swesmith-repos/szeider__mcp-solver.c431fabc

MCP Solver

LOCAL
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.

⚠ Local (STDIO) Server
This server runs as a process directly on your machine. It has access to your filesystem, environment variables, and SSH keys. Review the source code before installing.
Tools
0
Indexed
Today
Transport
Local / STDIO
Security Scan
Security scan pending — this server has not yet been analyzed.
Risk Surface
Risk surface analysis pending — tool annotation scanning is coming soon.
Publisher Verification
Not yet verified by the Official MCP Registry.
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
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 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.
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.
Meta Ads MCP
Enables AI-powered analysis, management, and optimization of Meta advertising campaigns across Facebook and Instagram, including performance insights, budget optimization, and creative testing.
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.
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
Shell Exec
Execute bash commands with background job support.
ai.aliengiraffe/spotdb
Ephemeral data sandbox for AI workflows with guardrails and security
ai.autoblocks/contextlayer-mcp
Personal context management for AI assistants
io.github.zenml-io/mcp-zenml
MCP server for ZenML - browse stacks, pipelines, runs, artifacts & trigger pipeline runs via API
app.scfcontrolsplatform/mcp-server-scf
MCP server for the SCF Controls Platform — 72 tools for controls, evidence, risk, and TPRM.
JS Reverse MCP
An MCP server for JavaScript reverse engineering that enables AI to perform browser debugging, script analysis, and automated hook injection. It streamlines complex workflows like deobfuscation, network tracing, and risk assessment through direct browser integration.
Indexed from Smithery · Updates nightly